src/Pure/Isar/overloading.ML

--- a/src/Pure/Isar/overloading.ML	Sat Aug 15 15:29:53 2009 +0200
+++ b/src/Pure/Isar/overloading.ML	Sat Aug 15 15:29:54 2009 +0200
@@ -154,6 +154,7 @@
     val overloading = map (fn (v, c_ty, checked) => (c_ty, (v, checked))) raw_overloading;
   in
     thy
+    |> Theory.checkpoint
     |> ProofContext.init
     |> OverloadingData.put overloading
     |> fold (fn ((_, ty), (v, _)) => Variable.declare_names (Free (v, ty))) overloading