src/Pure/Isar/expression.ML
changeset 38211 8ed3a5fb4d25
parent 38108 b4115423c049
child 38316 88e774d09fbc
     1.1 --- a/src/Pure/Isar/expression.ML	Thu Aug 05 21:56:22 2010 +0200
     1.2 +++ b/src/Pure/Isar/expression.ML	Thu Aug 05 22:29:43 2010 +0200
     1.3 @@ -451,7 +451,7 @@
     1.4      (* Declare parameters and imported facts *)
     1.5      val context' = context |>
     1.6        fix_params fixed |>
     1.7 -      fold (Context.proof_map o Locale.activate_facts) deps;
     1.8 +      fold Locale.activate_declarations deps;
     1.9      val (elems', _) = context' |>
    1.10        ProofContext.set_stmt true |>
    1.11        fold_map activate elems;