src/Pure/theory.ML

--- a/src/Pure/theory.ML	Tue Mar 11 22:49:28 2014 +0100
+++ b/src/Pure/theory.ML	Wed Mar 12 10:42:28 2014 +0100
@@ -175,7 +175,10 @@
     end;
 
 fun end_theory thy =
-  thy |> apply_wrappers (end_wrappers thy) |> Context.finish_thy;
+  thy
+  |> apply_wrappers (end_wrappers thy)
+  |> Sign.change_check
+  |> Context.finish_thy;