# 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];