From a74338cc598b5fb45e2cc148d243433500bb5294 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Wed, 13 Mar 2013 18:01:12 +0000
Subject: Declaremods: a few syntactic improvements

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16299 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 printing/printmod.ml | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'printing')

diff --git a/printing/printmod.ml b/printing/printmod.ml
index a3dab28067..0c28e64f6d 100644
--- a/printing/printmod.ml
+++ b/printing/printmod.ml
@@ -223,9 +223,12 @@ let rec printable_body dir =
     state after the printing *)
 
 let print_modexpr' env mp mexpr =
-  States.with_state_protection (fun e -> eval_ppcmds (print_modexpr env mp [] e)) mexpr
+  States.with_state_protection
+    (fun e -> eval_ppcmds (print_modexpr env mp [] e)) mexpr
+
 let print_modtype' env mp mty =
-  States.with_state_protection (fun e -> eval_ppcmds (print_modtype env mp [] e)) mty
+  States.with_state_protection
+    (fun e -> eval_ppcmds (print_modtype env mp [] e)) mty
 
 let print_module' env mp with_body mb =
   let name = print_modpath [] mp in
-- 
cgit v1.2.3