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/Provers/trancl.ML
changeset 32740 9dd0a2f83429
parent 32285 ab9b66c2bbca
child 32768 e4a3f9c3d4f5 
--- a/src/Provers/trancl.ML	Tue Sep 29 14:59:24 2009 +0200
+++ b/src/Provers/trancl.ML	Tue Sep 29 16:24:36 2009 +0200
@@ -275,8 +275,8 @@
 
 fun dfs eq_comp g u v =
  let
-    val pred = ref nil;
-    val visited = ref nil;
+    val pred = Unsynchronized.ref [];
+    val visited = Unsynchronized.ref [];
 
     fun been_visited v = exists (fn w => eq_comp (w, v)) (!visited)
 
@@ -349,7 +349,7 @@
 fun dfs_reachable eq_comp g u =
  let
   (* List of vertices which have been visited. *)
-  val visited  = ref nil;
+  val visited  = Unsynchronized.ref nil;
 
   fun been_visited v = exists (fn w => eq_comp (w, v)) (!visited)
isabelle