src/Pure/Thy/thy_info.ML

--- a/src/Pure/Thy/thy_info.ML	Wed Oct 20 17:11:46 2021 +0200
+++ b/src/Pure/Thy/thy_info.ML	Wed Oct 20 18:13:17 2021 +0200
@@ -44,7 +44,6 @@
 (
   type T = ((presentation_context -> theory -> unit) * stamp) list;
   val empty = [];
-  val extend = I;
   fun merge data : T = Library.merge (eq_snd op =) data;
 );