From 4800380437b6b133c7a9346aafa9c4e2b76527d7 Mon Sep 17 00:00:00 2001
From: delahaye <delahaye@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Tue, 28 Nov 2000 14:08:18 +0000
Subject: Elimination du '

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1000 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 proofs/tacinterp.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'proofs')

diff --git a/proofs/tacinterp.ml b/proofs/tacinterp.ml
index fa2769687..e9eae9ac4 100644
--- a/proofs/tacinterp.ml
+++ b/proofs/tacinterp.ml
@@ -401,7 +401,7 @@ let get_debug () = !debug
 (* Interprets any expression *)
 let rec val_interp (evc,env,lfun,lmatch,goalopt,debug) ast =
 
-(* mSGNL [<print_ast ast>]; *)
+(*  mSGNL [<print_ast ast>];*)
 (* mSGNL [<print_ast (Termast.ast_of_constr false (Pretty.assumptions_for_print []) c)>] *)
 
   let value_interp debug =
-- 
cgit v1.2.3