--- a/src/Pure/Isar/proof_context.ML Mon Jun 03 14:26:21 2019 +0200
+++ b/src/Pure/Isar/proof_context.ML Mon Jun 03 14:47:27 2019 +0200
@@ -224,6 +224,7 @@
val mode_abbrev = make_mode (false, false, true);
+
(** Isar proof context information **)
type cases = Rule_Cases.T Name_Space.table;