diff options
author | dos-reis <gdr@axiomatics.org> | 2010-05-09 22:45:25 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-05-09 22:45:25 +0000 |
commit | d1ae1fd7646c2b81c3d23752f6956c7db888e916 (patch) | |
tree | 8efa5738e30f54559a22950f8b4c3dc33ab4c284 /src/interp/wi2.boot | |
parent | f42883e3da3524177b4a8c6f42c8e7b1646a6265 (diff) | |
download | open-axiom-d1ae1fd7646c2b81c3d23752f6956c7db888e916.tar.gz |
More cleanups
Diffstat (limited to 'src/interp/wi2.boot')
-rw-r--r-- | src/interp/wi2.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/wi2.boot b/src/interp/wi2.boot index f73710de..f40823ab 100644 --- a/src/interp/wi2.boot +++ b/src/interp/wi2.boot @@ -927,7 +927,7 @@ chaseInferences(origPred,$e) == ante is ["and",:ante'] and member(pred,ante') => ante':= delete(pred,ante') v':= - LENGTH ante'=1 => first ante' + # ante'=1 => first ante' ["and",:ante'] v':= ["COND",[v',:conseq]] member(v',get("$Information","special",$e)) => nil |