From e123d91faac12f9d304e7b245365ce5326e77f7a Mon Sep 17 00:00:00 2001
From: mohring
Date: Fri, 28 Mar 2003 17:25:57 +0000
Subject: notations <>, Assumption avec existentiel, replace term

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

(limited to 'parsing/printer.ml')

diff --git a/parsing/printer.ml b/parsing/printer.ml
index df2aabdf80..1c19352b29 100644
--- a/parsing/printer.ml
+++ b/parsing/printer.ml
@@ -148,7 +148,7 @@ let pr_var_decl env (id,c,typ) =
     | Some c ->
 	(* Force evaluation *) 
 	let pb = prterm_env env c in
-	(str" := " ++ pb) in
+	(str" := " ++ pb ++ cut () ) in
   let pt = prtype_env env typ in
   let ptyp = (str" : " ++ pt) in
   (pr_id id ++ hov 0 (pbody ++ ptyp))
-- 
cgit v1.2.3