From 1e485645ef6481a856e8a67477f186519fb8ec9d Mon Sep 17 00:00:00 2001
From: coq
Date: Sat, 5 Oct 2002 11:03:20 +0000
Subject: Lazy experimentale temporaire...

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

(limited to 'parsing')

diff --git a/parsing/prettyp.ml b/parsing/prettyp.ml
index 0808001bb0..565d0ec9f1 100644
--- a/parsing/prettyp.ml
+++ b/parsing/prettyp.ml
@@ -266,7 +266,7 @@ let print_section_variable sp =
   (print_named_decl d ++ print_impl_args l)
 
 let print_body = function
-  | Some c  -> prterm c
+  | Some lc  -> prterm (Lazy.force_val lc)
   | None -> (str"<no body>")
 
 let print_typed_body (val_0,typ) =
-- 
cgit v1.2.3