src/HOLCF/Tools/domain/domain_extender.ML
changeset 31229 8a890890d143
parent 31228 bcacfd816d28
child 31288 67dff9c5b2bd
--- a/src/HOLCF/Tools/domain/domain_extender.ML	Thu May 21 18:23:19 2009 -0700
+++ b/src/HOLCF/Tools/domain/domain_extender.ML	Thu May 21 18:49:14 2009 -0700
@@ -123,7 +123,6 @@
     fun one_con (con,args,mx) =
 	((Syntax.const_name mx (Binding.name_of con)),
 	 ListPair.map (fn ((lazy,sel,tp),vn) => mk_arg ((lazy,
-					find_index_eq tp dts,
 					DatatypeAux.dtyp_of_typ new_dts tp),
 					Option.map Binding.name_of sel,vn))
 	     (args,(mk_var_names(map (typid o third) args)))