diff options
Diffstat (limited to 'printing/prettyp.ml')
| -rw-r--r-- | printing/prettyp.ml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/printing/prettyp.ml b/printing/prettyp.ml index dba047aa7c..0d279c73b6 100644 --- a/printing/prettyp.ml +++ b/printing/prettyp.ml @@ -196,14 +196,16 @@ type opacity = let opacity env = function | VarRef v when not (Option.is_empty (pi2 (Environ.lookup_named v env))) -> - Some(TransparentMaybeOpacified (Conv_oracle.get_strategy(VarKey v))) + Some(TransparentMaybeOpacified + (Conv_oracle.get_strategy (Environ.oracle env) (VarKey v))) | ConstRef cst -> let cb = Environ.lookup_constant cst env in (match cb.const_body with | Undef _ -> None | OpaqueDef _ -> Some FullyOpaque | Def _ -> Some - (TransparentMaybeOpacified (Conv_oracle.get_strategy(ConstKey cst)))) + (TransparentMaybeOpacified + (Conv_oracle.get_strategy (Environ.oracle env) (ConstKey cst)))) | _ -> None let print_opacity ref = |