Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Proof/extraction.ML
changeset 32738 15bb09ca0378
parent 32035 8e77b6a250d5
child 32784 1a5dde5079ac 
--- a/src/Pure/Proof/extraction.ML	Tue Sep 29 11:48:32 2009 +0200
+++ b/src/Pure/Proof/extraction.ML	Tue Sep 29 11:49:22 2009 +0200
@@ -91,7 +91,7 @@
       Pattern.rewrite_term thy [] (condrew' :: procs) tm
     and condrew' tm =
       let
-        val cache = ref ([] : (term * term) list);
+        val cache = Unsynchronized.ref ([] : (term * term) list);
         fun lookup f x = (case AList.lookup (op =) (!cache) x of
             NONE =>
               let val y = f x
isabelle