changeset 30763 | 6976521b4263 |
parent 30757 | 2d2076300185 |
child 31794 | 71af1fd6a5e4 |
--- a/src/Pure/Isar/obtain.ML Sat Mar 28 17:21:49 2009 +0100 +++ b/src/Pure/Isar/obtain.ML Sat Mar 28 17:53:33 2009 +0100 @@ -118,7 +118,7 @@ (*obtain vars*) val (vars, vars_ctxt) = prep_vars raw_vars ctxt; - val (_, fix_ctxt) = vars_ctxt |> ProofContext.add_fixes_i vars; + val (_, fix_ctxt) = vars_ctxt |> ProofContext.add_fixes vars; val xs = map (Name.of_binding o #1) vars; (*obtain asms*)