diff options
Diffstat (limited to 'parsing/printer.ml')
| -rw-r--r-- | parsing/printer.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/parsing/printer.ml b/parsing/printer.ml index df2aabdf80..1c19352b29 100644 --- a/parsing/printer.ml +++ b/parsing/printer.ml @@ -148,7 +148,7 @@ let pr_var_decl env (id,c,typ) = | Some c -> (* Force evaluation *) let pb = prterm_env env c in - (str" := " ++ pb) in + (str" := " ++ pb ++ cut () ) in let pt = prtype_env env typ in let ptyp = (str" : " ++ pt) in (pr_id id ++ hov 0 (pbody ++ ptyp)) |