src/Tools/Code/code_target.ML

--- a/src/Tools/Code/code_target.ML	Wed Oct 20 17:11:46 2021 +0200
+++ b/src/Tools/Code/code_target.ML	Wed Oct 20 18:13:17 2021 +0200
@@ -186,7 +186,6 @@
 (
   type T = (target * Code_Printer.data) Symtab.table * int;
   val empty = (Symtab.empty, 0);
-  val extend = I;
   fun merge ((targets1, index1), (targets2, index2)) : T =
     let
       val targets' =