diff options
| -rw-r--r-- | printing/ppconstr.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/printing/ppconstr.ml b/printing/ppconstr.ml index 7fad6fb9ab..56fbdd5ff5 100644 --- a/printing/ppconstr.ml +++ b/printing/ppconstr.ml @@ -712,7 +712,7 @@ end) = struct Constrextern.extern_glob_constr (Termops.vars_of_env env) r else c - let pr prec c = pr prec (transf (Global.env()) c) + let pr prec c = pr prec ((*transf (Global.env())*) c) let pr_simpleconstr = function | CAppExpl (_,(None,f,us),[]) -> str "@" ++ pr_cref f us |