# HG changeset patch
# User haftmann
# Date 1166038704 -3600
# Node ID f9243336f54e6311457a9ba7610b120662c21c78
# Parent  b8118942f0e2f1720a4a16c2a0a98a8fe6f1ee87
fixed type

diff -r b8118942f0e2 -r f9243336f54e src/Pure/Tools/codegen_thingol.ML
--- a/src/Pure/Tools/codegen_thingol.ML	Wed Dec 13 20:38:23 2006 +0100
+++ b/src/Pure/Tools/codegen_thingol.ML	Wed Dec 13 20:38:24 2006 +0100
@@ -158,7 +158,7 @@
     type schemes            tysm
     term                    t
     (term as pattern)       p
-    instance (classs, tyco) inst
+    instance (class, tyco)  inst
  *)
 
 fun ty1 `-> ty2 = "fun" `%% [ty1, ty2];