src/Provers/trancl.ML
changeset 15574 b1d1b5bfc464
parent 15570 8d8c70b41bab
child 22257 159bfab776e2
--- a/src/Provers/trancl.ML	Fri Mar 04 11:44:26 2005 +0100
+++ b/src/Provers/trancl.ML	Fri Mar 04 15:07:34 2005 +0100
@@ -327,7 +327,7 @@
 
    (* Compute, for each adjacency list, the list with reversed edges,
       and concatenate these lists. *)
-   val flipped = Library.foldr (op @) ((map flip g),nil)
+   val flipped = foldr (op @) nil (map flip g)
  
  in assemble g flipped end    
  
@@ -351,9 +351,9 @@
       let
    val _ = visited := u :: !visited
    val descendents =
-       Library.foldr (fn ((v,l),ds) => if been_visited v then ds
+       foldr (fn ((v,l),ds) => if been_visited v then ds
             else v :: dfs_visit g v @ ds)
-        ( ((adjacent eq_comp g u)) ,nil)
+        nil (adjacent eq_comp g u)
    in  descendents end
  
  in u :: dfs_visit g u end;