GrafiteAstPp: \n's finally fixed

[helm.git] / components / grafite / grafiteAstPp.ml

diff --git a/components/grafite/grafiteAstPp.ml b/components/grafite/grafiteAstPp.ml
index 3602e9df526ad60c25e27500baca1ba1bb9c6cab..67f771fbe5e45d23e7aa1fb99d941091c6d2b52b 100644 (file)
--- a/components/grafite/grafiteAstPp.ml
+++ b/components/grafite/grafiteAstPp.ml
@@ -305,9 +305,9 @@ let pp_executable ~term_pp ~lazy_term_pp ~obj_pp =
 let pp_comment ~term_pp ~lazy_term_pp ~obj_pp =
   function
   | Note (_,"") -> Printf.sprintf "\n"
-  | Note (_,str) -> Printf.sprintf "(* %s *)\n" str
+  | Note (_,str) -> Printf.sprintf "\n(* %s *)" str
   | Code (_,code) ->
-      Printf.sprintf "(** %s. **)\n" (pp_executable ~term_pp ~lazy_term_pp ~obj_pp code)
+      Printf.sprintf "\n(** %s. **)" (pp_executable ~term_pp ~lazy_term_pp ~obj_pp code)
 
 let pp_statement ~term_pp ~lazy_term_pp ~obj_pp =
   function