src/HOL/Code_Generator.thy

--- a/src/HOL/Code_Generator.thy	Mon Mar 19 19:28:27 2007 +0100
+++ b/src/HOL/Code_Generator.thy	Tue Mar 20 08:27:15 2007 +0100
@@ -75,7 +75,7 @@
 
 text {* operational equality for code generation *}
 
-class eq (attach "op =") = notes reflexive
+class eq (attach "op =") = type
 
 
 text {* equality for Haskell *}