From 300dd33e3d35fbab6fbeadb8e4450cc41c5a6276 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Thu, 30 Jan 2003 01:20:28 +0000
Subject: fignolage

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

diff --git a/contrib/extraction/ocaml.ml b/contrib/extraction/ocaml.ml
index e519366525..1d6b403723 100644
--- a/contrib/extraction/ocaml.ml
+++ b/contrib/extraction/ocaml.ml
@@ -478,7 +478,7 @@ let pp_decl mp =
 	    (str "let " ++ 
 	     if is_custom r then 
 	       e ++ str " = " ++ str (find_custom r)
-	     else if is_projection r then e ++ str " x = x." ++ e ++ fnl () 
+	     else if is_projection r then e ++ str " x = x." ++ e
 	     else pp_function (empty_env ()) e a)
     | Dfix (rv,defs,typs) ->
 	pp_Dfix true 0 (rv,defs,typs)
-- 
cgit v1.2.3