diff options
author | dos-reis <gdr@axiomatics.org> | 2010-06-21 03:16:39 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-06-21 03:16:39 +0000 |
commit | afaaaac2b55741bfe43099f819fd4a9592b1c022 (patch) | |
tree | 7a5bbd28009759b1c787d3df4c4ba5960cd11280 /src/algebra/strap/PI.lsp | |
parent | 640d839b4de4d0daf0dde00ba08eab6d264160ad (diff) | |
download | open-axiom-afaaaac2b55741bfe43099f819fd4a9592b1c022.tar.gz |
Revert previous erroneous commit
Diffstat (limited to 'src/algebra/strap/PI.lsp')
-rw-r--r-- | src/algebra/strap/PI.lsp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/algebra/strap/PI.lsp b/src/algebra/strap/PI.lsp index fcf15cb5..000a27c9 100644 --- a/src/algebra/strap/PI.lsp +++ b/src/algebra/strap/PI.lsp @@ -21,7 +21,6 @@ ((NOT #0#) (HREM |$ConstructorCache| '|PositiveInteger|))))))))) (DEFUN |PositiveInteger;| () - (DECLARE (SPECIAL |$ConstructorCache|)) (LET ((|dv$| (LIST '|PositiveInteger|)) ($ (|newShell| 16)) (|pv$| (|buildPredVector| 0 0 NIL))) (DECLARE (SPECIAL |$ConstructorCache|)) |