diff options
Diffstat (limited to 'src/interp/info.boot')
| -rw-r--r-- | src/interp/info.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/info.boot b/src/interp/info.boot index 2e168e03..15d0bb08 100644 --- a/src/interp/info.boot +++ b/src/interp/info.boot @@ -133,7 +133,7 @@ chaseInferences(pred,$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 |