diff options
Diffstat (limited to 'contrib/interface/pbp.ml')
| -rw-r--r-- | contrib/interface/pbp.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/interface/pbp.ml b/contrib/interface/pbp.ml index 74ecdaaa3d..487f45057c 100644 --- a/contrib/interface/pbp.ml +++ b/contrib/interface/pbp.ml @@ -144,7 +144,7 @@ let (imply_intro1: pbp_rule) = function let make_var id = CRef (Ident(zz, id)) -let make_app f l = CApp (zz,f,List.map (fun x -> (x,None)) l) +let make_app f l = CApp (zz,(false,f),List.map (fun x -> (x,None)) l) let make_pbp_pattern x = make_app (make_var (id_of_string "PBP_META")) |