src/Pure/Isar/instance.ML

--- a/src/Pure/Isar/instance.ML	Tue Sep 25 17:06:14 2007 +0200
+++ b/src/Pure/Isar/instance.ML	Tue Sep 25 17:06:18 2007 +0200
@@ -17,11 +17,11 @@
 structure Instance : INSTANCE =
 struct
 
-structure Instantiation = ProofDataFun(
-struct
+structure Instantiation = ProofDataFun
+(
   type T = ((string * (string * sort) list) * sort) list * ((string * typ) * string) list;
   fun init _ = ([], []);
-end);
+);
 
 local