# HG changeset patch
# User haftmann
# Date 1255515557 -7200
# Node ID 7a20fd22ba01575c7b0f8c1388961c34bfc567b4
# Parent  342d89e5a808c1b96d3730ecf67c7dd3635b6a3a
more explicit notion of canonized code equations

diff -r 342d89e5a808 -r 7a20fd22ba01 src/HOL/Tools/recfun_codegen.ML
--- a/src/HOL/Tools/recfun_codegen.ML	Wed Oct 14 12:04:16 2009 +0200
+++ b/src/HOL/Tools/recfun_codegen.ML	Wed Oct 14 12:19:17 2009 +0200
@@ -56,7 +56,7 @@
     raw_thms
     |> preprocess thy
     |> avoid_value thy
-    |> Code_Thingol.clean_thms thy
+    |> Code_Thingol.canonize_thms thy
     |> rpair module_name
   end;