# HG changeset patch
# User haftmann
# Date 1205481175 -3600
# Node ID 5bb50f58a1135af99c3a24f5a4297dab3adba2c2
# Parent  80aaf4d034be3a3049f7069be5ae55ab72020e67
restore replaces reinit

diff -r 80aaf4d034be -r 5bb50f58a113 src/Pure/Isar/instance.ML
--- a/src/Pure/Isar/instance.ML	Fri Mar 14 08:52:53 2008 +0100
+++ b/src/Pure/Isar/instance.ML	Fri Mar 14 08:52:55 2008 +0100
@@ -54,7 +54,7 @@
     |> `(fn ctxt => map (mk_def ctxt) defs)
     |-> (fn defs => fold_map Specification.definition defs)
     |> snd
-    |> LocalTheory.reinit
+    |> LocalTheory.restore
     |> Class.instantiation_instance Class.conclude_instantiation
   else
     thy