src/HOL/Tools/inductive_codegen.ML

--- a/src/HOL/Tools/inductive_codegen.ML	Fri May 16 23:25:37 2008 +0200
+++ b/src/HOL/Tools/inductive_codegen.ML	Sat May 17 13:54:30 2008 +0200
@@ -40,7 +40,7 @@
 
 
 fun warn thm = warning ("InductiveCodegen: Not a proper clause:\n" ^
-  string_of_thm thm);
+  Display.string_of_thm thm);
 
 fun add_node (g, x) = Graph.new_node (x, ()) g handle Graph.DUP _ => g;