Removed a call to polymorphic mem
authorpaulson
Tue Nov 12 11:36:44 1996 +0100 (1996-11-12 ago)
changeset 21740829b7b632c5
parent 2173 08c68550460b
child 2175 21fde76bc742
Removed a call to polymorphic mem
src/Provers/hypsubst.ML
     1.1 --- a/src/Provers/hypsubst.ML	Tue Nov 12 11:36:18 1996 +0100
     1.2 +++ b/src/Provers/hypsubst.ML	Tue Nov 12 11:36:44 1996 +0100
     1.3 @@ -54,7 +54,7 @@
     1.4  
     1.5  exception EQ_VAR;
     1.6  
     1.7 -fun loose (i,t) = 0 mem add_loose_bnos(t,i,[]);
     1.8 +fun loose (i,t) = 0 mem_int add_loose_bnos(t,i,[]);
     1.9  
    1.10  local val odot = ord"."
    1.11  in