src/Pure/unify.ML
changeset 922 196ca0973a6d
parent 651 4b0455fbcc49
child 1435 aefcd255ed4a
     1.1 --- a/src/Pure/unify.ML	Thu Mar 02 12:07:20 1995 +0100
     1.2 +++ b/src/Pure/unify.ML	Fri Mar 03 11:48:05 1995 +0100
     1.3 @@ -53,7 +53,7 @@
     1.4  and trace_types = ref false	(*announce potential incompleteness
     1.5  				  of type unification*)
     1.6  
     1.7 -val sgr = ref(Sign.pure);
     1.8 +val sgr = ref(Sign.proto_pure);
     1.9  
    1.10  type binderlist = (string*typ) list;
    1.11