# HG changeset patch
# User berghofe
# Date 1255963641 -7200
# Node ID 82382652e5e7ed8700a5ef6141ab3f0e93205be8
# Parent  d31a52dbe91e6871c14da1a830ea90c6ad81761b
Removed dead code in function mk_deftab.

diff -r d31a52dbe91e -r 82382652e5e7 src/Pure/codegen.ML
--- a/src/Pure/codegen.ML	Mon Oct 19 16:45:52 2009 +0200
+++ b/src/Pure/codegen.ML	Mon Oct 19 16:47:21 2009 +0200
@@ -500,8 +500,6 @@
   let
     val axmss = map (fn thy' => (Context.theory_name thy', Theory.axiom_table thy'))
       (thy :: Theory.ancestors_of thy);
-    fun prep_def def = (case preprocess thy [def] of
-      [def'] => prop_of def' | _ => error "mk_deftab: bad preprocessor");
     fun add_def thyname (name, t) = (case dest_prim_def t of
         NONE => I
       | SOME (s, (T, _)) => Symtab.map_default (s, [])