src/FOLP/simpdata.ML
changeset 17325 d9d50222808e
parent 15570 8d8c70b41bab
child 17480 fd19f77dcf60
--- a/src/FOLP/simpdata.ML	Mon Sep 12 17:29:07 2005 +0200
+++ b/src/FOLP/simpdata.ML	Mon Sep 12 18:20:32 2005 +0200
@@ -84,7 +84,7 @@
            Const("Trueprop",_) $ p =>
              (case head_of p of
                 Const(a,_) =>
-                  (case assoc(pairs,a) of
+                  (case AList.lookup (op =) pairs a of
                      SOME(rls) => List.concat (map atoms ([th] RL rls))
                    | NONE => [th])
               | _ => [th])