diff options
Diffstat (limited to 'library')
| -rw-r--r-- | library/impargs.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/library/impargs.ml b/library/impargs.ml index 55e21b2c8c..355cbe1fa8 100644 --- a/library/impargs.ml +++ b/library/impargs.ml @@ -378,7 +378,9 @@ let set_manual_implicits env flags enriching autoimps l = l, imp, m in let imps' = merge (k+1) l' imps in - let m = Option.map (fun (b,f) -> set_maximality imps' b, f) m in + let m = Option.map (fun (b,f) -> + (* match imp with Some Manual -> (b,f) *) + (* | _ -> *)set_maximality imps' b, f) m in Option.map (set_implicit id imp) m :: imps' | (Anonymous,imp)::imps -> let l', forced = try_forced k l in |