# HG changeset patch
# User haftmann
# Date 1485443178 -3600
# Node ID e5f535f90d61e74a77cc44cd2472de41ddc833ce
# Parent  f9cfb10761ff4c1816e1b0a37e1c8e726b0e8054
dropped dead code

diff -r f9cfb10761ff -r e5f535f90d61 src/Tools/Code/code_runtime.ML
--- a/src/Tools/Code/code_runtime.ML	Fri Jan 27 17:35:08 2017 +0100
+++ b/src/Tools/Code/code_runtime.ML	Thu Jan 26 16:06:18 2017 +0100
@@ -407,18 +407,16 @@
 
 val is_first_occ = fst o snd o Code_Antiq_Data.get;
 
-fun register_code new_consts ctxt =
+fun register_const const ctxt =
   let
     val (consts, _) = Code_Antiq_Data.get ctxt;
-    val consts' = fold (insert (op =)) new_consts consts;
+    val consts' = insert (op =) const consts;
     val program = Code_Thingol.consts_program ctxt consts';
     val acc_code = Lazy.lazy (fn () =>
       evaluation_code ctxt Code_Target.generatedN program [] consts'
       |> apsnd snd);
   in Code_Antiq_Data.put (consts', (false, acc_code)) ctxt end;
 
-fun register_const const = register_code [const];
-
 fun print_code is_first const ctxt =
   let
     val (_, (_, acc_code)) = Code_Antiq_Data.get ctxt;