src/HOL/Tools/datatype_codegen.ML
changeset 22578 b0eb5652f210
parent 22566 535ae9dd4c45
child 22746 f090ecd44f12
     1.1 --- a/src/HOL/Tools/datatype_codegen.ML	Wed Apr 04 00:10:59 2007 +0200
     1.2 +++ b/src/HOL/Tools/datatype_codegen.ML	Wed Apr 04 00:11:03 2007 +0200
     1.3 @@ -65,7 +65,6 @@
     1.4  
     1.5  fun add_dt_defs thy defs dep module gr (descr: DatatypeAux.descr) =
     1.6    let
     1.7 -    val sg = sign_of thy;
     1.8      val tab = DatatypePackage.get_datatypes thy;
     1.9  
    1.10      val descr' = List.filter (can (map DatatypeAux.dest_DtTFree o #2 o snd)) descr;