changeset 30763 | 6976521b4263 |
parent 30761 | ac7570d80c3d |
child 30775 | 71f777103225 |
--- a/src/Pure/Isar/element.ML Sat Mar 28 17:21:49 2009 +0100 +++ b/src/Pure/Isar/element.ML Sat Mar 28 17:53:33 2009 +0100 @@ -486,7 +486,7 @@ local fun activate_elem (Fixes fixes) ctxt = - ctxt |> ProofContext.add_fixes_i fixes |> snd + ctxt |> ProofContext.add_fixes fixes |> snd | activate_elem (Constrains _) ctxt = ctxt | activate_elem (Assumes asms) ctxt =