src/Pure/Isar/locale.ML

        to context *)
     val ctxt = fold ProofContext.declare_term (List.concat (map (map fst) all_propp)) ctxt;
 
     (* CB: resolve schematic variables (patterns) in conclusion and external
        elements. *)
-    val all_propp' = map2 (op ~~)
-      (#1 (#2 (ProofContext.bind_propp_schematic_i (ctxt, all_propp))), map (map snd) all_propp);
+    val all_propp' = map2 (curry (op ~~))
+      (#1 (#2 (ProofContext.bind_propp_schematic_i (ctxt, all_propp)))) (map (map snd) all_propp);
     val (concl, propp) = splitAt(length raw_concl, all_propp');
     val propps = unflat raw_propps propp;
     val proppss = map (uncurry unflat) (raw_proppss ~~ propps);
 
     (* CB: obtain all parameters from identifier part of raw_elemss *)