diff options
author | dos-reis <gdr@axiomatics.org> | 2008-07-09 13:19:32 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-07-09 13:19:32 +0000 |
commit | aa7e3e2f0d8bbcafe488f536faa86ff9581efef0 (patch) | |
tree | 848dde1b6e7d8107e342dba32bf1710110921c15 /src/interp/fnewmeta.lisp | |
parent | 55515251e3643565e3a6683a5d775a1f262939cd (diff) | |
download | open-axiom-aa7e3e2f0d8bbcafe488f536faa86ff9581efef0.tar.gz |
* interp/i-spec2.boot (findConstantInDomain): Abstract from
upDollar.
(upDollar): Use it. Don't return general constants as mappings.
* interp/fnewmeta.lisp (|PARSE-FloatTok|): Fix typo.
Diffstat (limited to 'src/interp/fnewmeta.lisp')
-rw-r--r-- | src/interp/fnewmeta.lisp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/fnewmeta.lisp b/src/interp/fnewmeta.lisp index 49fe82c8..70fd040c 100644 --- a/src/interp/fnewmeta.lisp +++ b/src/interp/fnewmeta.lisp @@ -818,7 +818,7 @@ (DEFUN |PARSE-FloatTok| () (AND (PARSE-NUMBER) - (PUSH-REDUCTION '|PARSE-FloatTok| (POP-STACK-1))))) + (PUSH-REDUCTION '|PARSE-FloatTok| (POP-STACK-1)))) (DEFUN |PARSE-FormalParameter| () (|PARSE-FormalParameterTok|)) |