src/Pure/logic.ML
changeset 2266 82aef6857c5b
parent 1835 07eee14f5bd4
child 2508 ce48daa388a7
     1.1 --- a/src/Pure/logic.ML	Thu Nov 28 10:42:19 1996 +0100
     1.2 +++ b/src/Pure/logic.ML	Thu Nov 28 10:44:24 1996 +0100
     1.3 @@ -277,7 +277,8 @@
     1.4      let val params = strip_params A;
     1.5  	val vars = if !auto_rename 
     1.6  		   then rename_vars (!rename_prefix, params)
     1.7 -		   else variantlist(map #1 params,[]) ~~ map #2 params
     1.8 +		   else ListPair.zip (variantlist(map #1 params,[]),
     1.9 +				      map #2 params)
    1.10      in  list_all (vars, remove_params (length vars) n A)
    1.11      end;
    1.12