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 1e9cb6ef..2e168e03 100644 --- a/src/interp/info.boot +++ b/src/interp/info.boot @@ -200,7 +200,7 @@ knownInfo pred == v:= get(op,"modemap",$e) for w in v repeat ww:= CDAR w --the actual signature part - #ww = #sig and SourceLevelSubsume(ww,sig) => + ww = sig => CAADR w = true => return true false --error '"knownInfo" |