diff options
author | dos-reis <gdr@axiomatics.org> | 2011-04-30 18:55:21 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-04-30 18:55:21 +0000 |
commit | 42cf0984b569e49060252e536c0c7e7aee469873 (patch) | |
tree | c2cb31c68df04f75bfd9a490ae10b9c6cf795102 /src/interp/simpbool.boot | |
parent | 5770442f576aa0c1e389344a636f1e4edca1b136 (diff) | |
download | open-axiom-42cf0984b569e49060252e536c0c7e7aee469873.tar.gz |
* More cleanup
Diffstat (limited to 'src/interp/simpbool.boot')
-rw-r--r-- | src/interp/simpbool.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/simpbool.boot b/src/interp/simpbool.boot index 6c3295c1..9c088079 100644 --- a/src/interp/simpbool.boot +++ b/src/interp/simpbool.boot @@ -84,7 +84,7 @@ dnf2pf(x) == be x == b2dnf x b2dnf x == x = 'T => 'true - x = NIL => 'false + x = nil => 'false atom x => bassert x [op,:argl] := x op in '(AND and) => band argl |