1.1 --- a/src/Tools/isac/Interpret/script.sml	Mon Sep 30 16:42:52 2013 +0200
     1.2 +++ b/src/Tools/isac/Interpret/script.sml	Thu Oct 10 19:16:16 2013 +0100
     1.3 @@ -537,12 +537,12 @@
     1.4  	           if f = f_ then Ass (m,f') else AssWeak (m,f')
     1.5  	         else NotAss
     1.6         | (Const ("Script.Rewrite'_Set'_Inst",_) $ sub_ $ Free(rls_,_) $_$f_)  => 
     1.7 -	         if contains_rule (Calc (snd (assoc1 (!calclist', op_)))) (assoc_rls rls_)
     1.8 +	         if contains_rule (Calc (assoc_calc' op_ |> snd)) (assoc_rls rls_)
     1.9             then
    1.10  	           if f = f_ then Ass (m,f') else AssWeak (m,f')
    1.11  	         else NotAss
    1.12         | (Const ("Script.Rewrite'_Set",_) $ Free (rls_, _) $ _ $ f_) =>
    1.13 -	         if contains_rule (Calc (snd (assoc1 (!calclist', op_)))) (assoc_rls rls_)
    1.14 +	         if contains_rule (Calc (assoc_calc' op_ |> snd)) (assoc_rls rls_)
    1.15             then
    1.16  	           if f = f_ then Ass (m,f') else AssWeak (m,f')
    1.17  	         else NotAss