aboutsummaryrefslogtreecommitdiffhomepage
path: root/printing/printmod.ml
diff options
context:
space:
mode:
authorGravatar letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7>2013-03-13 18:01:12 +0000
committerGravatar letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7>2013-03-13 18:01:12 +0000
commita74338cc598b5fb45e2cc148d243433500bb5294 (patch)
tree4b99f176f79b7a1ca4d837770475a2e8ed5bc70e /printing/printmod.ml
parent700586a3b1dc75b6047f0b25859b10839d8ddd78 (diff)
Declaremods: a few syntactic improvements
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16299 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'printing/printmod.ml')
-rw-r--r--printing/printmod.ml7
1 files changed, 5 insertions, 2 deletions
diff --git a/printing/printmod.ml b/printing/printmod.ml
index a3dab2806..0c28e64f6 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