diff options
Diffstat (limited to 'sucl/law.icl')
| -rw-r--r-- | sucl/law.icl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/sucl/law.icl b/sucl/law.icl index 8ec781a..ef33b2e 100644 --- a/sucl/law.icl +++ b/sucl/law.icl @@ -9,6 +9,7 @@ import rule import dnc import graph import basic +from general import ---> import StdEnv /* @@ -179,7 +180,7 @@ corestrategy matchable =(\ substrat subject found rnf snode applyrule :: (Bool,Node sym var) -> Rule sym SuclVariable applyrule (sdef,scont) = aprule (anode,(sym,aargs)) [enode] aroot - where (aargs,[anode,aroot,enode:_]) = claim sargs suclheap + where (aargs,[anode,aroot,enode:_]) = (claim--->"basic.claim begins from law.applyrule") sargs suclheap (sym,sargs) = if sdef scont (nosym,[]) nosym = abort "applyrule: no function symbol available" |