diff options
Diffstat (limited to 'printing')
| -rw-r--r-- | printing/prettyp.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/printing/prettyp.ml b/printing/prettyp.ml index 4d7501ff9f..ee6a5e18da 100644 --- a/printing/prettyp.ml +++ b/printing/prettyp.ml @@ -400,7 +400,7 @@ let gallina_print_section_variable id = with_line_skip (print_name_infos (VarRef id)) let print_body = function - | Some lc -> pr_lconstr (Lazyconstr.force lc) + | Some c -> pr_lconstr c | None -> (str"<no body>") let print_typed_body (val_0,typ) = |