diff options
Diffstat (limited to 'parsing')
| -rw-r--r-- | parsing/prettyp.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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) = |