--- a/src/Pure/context.ML Tue Apr 18 22:24:48 2023 +0200
+++ b/src/Pure/context.ML Wed Apr 19 11:10:30 2023 +0200
@@ -363,7 +363,7 @@
in
val update_thy = change_thy false;
-val extend_thy = update_thy I;
+val extend_thy = change_thy false I;
val finish_thy = change_thy true I;
end;