# HG changeset patch # User haftmann # Date 1393006824 -3600 # Node ID d5ad50aea356989cdcab916d5fb5daa50d25838a # Parent eb07b0acbebc517d43dd67b6db1d2edb22456eaa dropped dead code diff -r eb07b0acbebc -r d5ad50aea356 src/Tools/Code/code_ml.ML --- a/src/Tools/Code/code_ml.ML Fri Feb 21 18:23:11 2014 +0100 +++ b/src/Tools/Code/code_ml.ML Fri Feb 21 19:20:24 2014 +0100 @@ -55,7 +55,6 @@ fun print_sml_stmt tyco_syntax const_syntax reserved is_constr deresolve = let val deresolve_const = deresolve o Constant; - val deresolve_tyco = deresolve o Type_Constructor; val deresolve_class = deresolve o Type_Class; val deresolve_classrel = deresolve o Class_Relation; val deresolve_inst = deresolve o Class_Instance; @@ -361,7 +360,6 @@ fun print_ocaml_stmt tyco_syntax const_syntax reserved is_constr deresolve = let val deresolve_const = deresolve o Constant; - val deresolve_tyco = deresolve o Type_Constructor; val deresolve_class = deresolve o Type_Class; val deresolve_classrel = deresolve o Class_Relation; val deresolve_inst = deresolve o Class_Instance;