diff options
author | dos-reis <gdr@axiomatics.org> | 2011-02-18 03:51:28 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-02-18 03:51:28 +0000 |
commit | f6e5de243353518085fbd39be9daef1f121a96e3 (patch) | |
tree | 0540e540bb30845fccfc795c3f41807d4cd52088 /src/algebra/strap/SINT.lsp | |
parent | 3691e956e1428f08363a0ed37e3f4f0f79b89ec0 (diff) | |
download | open-axiom-f6e5de243353518085fbd39be9daef1f121a96e3.tar.gz |
Rename %veclit to %vector and %listlit to %list
Diffstat (limited to 'src/algebra/strap/SINT.lsp')
-rw-r--r-- | src/algebra/strap/SINT.lsp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/strap/SINT.lsp b/src/algebra/strap/SINT.lsp index 5dd91da0..505ca661 100644 --- a/src/algebra/strap/SINT.lsp +++ b/src/algebra/strap/SINT.lsp @@ -266,7 +266,7 @@ (DECLAIM (FTYPE (FUNCTION (|%Thing| (|%Vector| *) |%Shell|) |%Pair|) |SINT;reducedSystem;MVR;57|)) -(PUT '|SINT;reducedSystem;MVR;57| '|SPADreplace| '|%makepair|) +(PUT '|SINT;reducedSystem;MVR;57| '|SPADreplace| '|%pair|) (DECLAIM (FTYPE (FUNCTION (|%Short| |%Short| |%Shell|) |%Short|) |SINT;positiveRemainder;3$;58|)) |