From 9e038688af8f7f054c1c2acdb2fe65d78cccdd81 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin <Hugo.Herbelin@inria.fr>
Date: Mon, 11 Apr 2016 16:13:58 +0200
Subject: Temporary deactivate re-interpretation of terms in beautify.

---
 printing/ppconstr.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'printing/ppconstr.ml')

diff --git a/printing/ppconstr.ml b/printing/ppconstr.ml
index 7fad6fb9a..56fbdd5ff 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
-- 
cgit v1.2.3