changeset 17232 | 148c241d2492 |
parent 17203 | 29b2563f5c11 |
child 17496 | 26535df536ae |
--- a/src/Pure/meta_simplifier.ML Fri Sep 02 15:25:44 2005 +0200 +++ b/src/Pure/meta_simplifier.ML Fri Sep 02 15:54:47 2005 +0200 @@ -970,7 +970,7 @@ val (h, ts) = strip_comb t in case cong_name h of SOME a => - (case assoc_string (fst congs, a) of + (case AList.lookup (op =) (fst congs) a of NONE => appc () | SOME cong => (*post processing: some partial applications h t1 ... tj, j <= length ts,