# HG changeset patch
# User berghofe
# Date 1158928366 -7200
# Node ID fd92d9310128c0b7878b79e85d5e66fe7ee5dda2
# Parent  c09af1bd255a834907bca2bd997bf3f92bed707e
Replaced irreducible_paths by all_paths.

diff -r c09af1bd255a -r fd92d9310128 src/HOL/Tools/recfun_codegen.ML
--- a/src/HOL/Tools/recfun_codegen.ML	Fri Sep 22 14:30:37 2006 +0200
+++ b/src/HOL/Tools/recfun_codegen.ML	Fri Sep 22 14:32:46 2006 +0200
@@ -92,7 +92,7 @@
 
 fun cycle g (xs, x) =
   if x mem xs then xs
-  else Library.foldl (cycle g) (x :: xs, List.concat (Graph.irreducible_paths (fst g) (x, x)));
+  else Library.foldl (cycle g) (x :: xs, List.concat (Graph.all_paths (fst g) (x, x)));
 
 fun add_rec_funs thy defs gr dep eqs module =
   let