src/ZF/constructor.ML
changeset 202 4e68398cdc06
parent 6 8ce8c4d13d4d
child 231 cb6a24451544
--- a/src/ZF/constructor.ML	Tue Dec 21 16:27:36 1993 +0100
+++ b/src/ZF/constructor.ML	Tue Dec 21 16:38:45 1993 +0100
@@ -148,7 +148,7 @@
 		    flat (map #3 rec_specs));
 
 val con_thy = extend_theory thy (big_rec_name ^ "_Constructors")
-    ([], [], [], [], const_decs, ext) axpairs;
+    ([], [], [], [], [], const_decs, ext) axpairs;
 
 (*1st element is the case definition; others are the constructors*)
 val con_defs = map (get_axiom con_thy o #1) axpairs;