From a720663f5af76b5876d4f77dba88eafb927a650f Mon Sep 17 00:00:00 2001
From: filliatr
Date: Mon, 27 Nov 2000 15:08:34 +0000
Subject: uniformisation messages d'erreur

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@993 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 9f03ccc1e8..25578ad761 100644
--- a/parsing/printer.ml
+++ b/parsing/printer.ml
@@ -206,7 +206,7 @@ let pr_context_unlimited env =
 
 let pr_ne_context_of header k env =
   if Environ.context env = empty_context then [< >]
-  else let penv = pr_context_unlimited env in [< header; penv >]
+  else let penv = pr_context_unlimited env in [< header; penv; 'fNL >]
 
 let pr_context_limit n env =
   let named_context = Environ.named_context env in
-- 
cgit v1.2.3