From 778e863b77bcafc8ed339dd02226e85e5fee2532 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Fri, 25 Nov 2016 11:36:09 +0100
Subject: Removing compatibility layers related to printing.

---
 ide/ide_slave.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'ide')

diff --git a/ide/ide_slave.ml b/ide/ide_slave.ml
index c11c785877..fcba013535 100644
--- a/ide/ide_slave.ml
+++ b/ide/ide_slave.ml
@@ -192,6 +192,7 @@ let process_goal sigma g =
   let id = Goal.uid g in
   let ccl =
     let norm_constr = Reductionops.nf_evar sigma (EConstr.Unsafe.to_constr (Goal.V82.concl sigma g)) in
+    let norm_constr = EConstr.of_constr norm_constr in
     Richpp.richpp_of_pp (pr_goal_concl_style_env env sigma norm_constr)
   in
   let process_hyp d (env,l) =
-- 
cgit v1.2.3