src/Pure/unify.ML
changeset 3991 4cb2f2422695
parent 2753 bcde71e5f371
child 4270 957c887b89b5
     1.1 --- a/src/Pure/unify.ML	Fri Oct 24 17:12:35 1997 +0200
     1.2 +++ b/src/Pure/unify.ML	Fri Oct 24 17:13:21 1997 +0200
     1.3 @@ -41,7 +41,7 @@
     1.4  and trace_types = ref false	(*announce potential incompleteness
     1.5  				  of type unification*)
     1.6  
     1.7 -val sgr = ref(Sign.proto_pure);
     1.8 +val sgr = ref(Sign.pre_pure);
     1.9  
    1.10  type binderlist = (string*typ) list;
    1.11