diff options
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 |