From 3af8f3e522bdf2bd103bb437c65ad79ae04ac9c3 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sat, 6 Dec 2014 17:13:36 +0100
Subject: Had forgotten some debugging printer.

---
 pretyping/evarsolve.ml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/pretyping/evarsolve.ml b/pretyping/evarsolve.ml
index a6d5e1eac1..8694e8bbbd 100644
--- a/pretyping/evarsolve.ml
+++ b/pretyping/evarsolve.ml
@@ -565,7 +565,6 @@ let materialize_evar define_fun env evd k (evk1,args1) ty_in_env =
       let evd,b_in_sign = match b with
       | None -> evd,None
       | Some b ->
-  Printf.printf "!!%!";
           let evd,b = define_evar_from_virtual_equation define_fun env evd b
             t_in_sign sign filter inst_in_env in
           evd,Some b in
-- 
cgit v1.2.3