diff options
Diffstat (limited to 'src/boot/fe')
| -rw-r--r-- | src/boot/fe/ast.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/boot/fe/ast.ml b/src/boot/fe/ast.ml index b33db3a7..21726234 100644 --- a/src/boot/fe/ast.ml +++ b/src/boot/fe/ast.ml @@ -1346,11 +1346,13 @@ let sprintf_effect = sprintf_fmt fmt_effect;; let sprintf_tag = sprintf_fmt fmt_tag;; let sprintf_carg = sprintf_fmt fmt_carg;; let sprintf_constr = sprintf_fmt fmt_constr;; -let sprintf_stmt = sprintf_fmt fmt_stmt;; let sprintf_mod_items = sprintf_fmt fmt_mod_items;; let sprintf_decl_params = sprintf_fmt fmt_decl_params;; let sprintf_app_args = sprintf_fmt fmt_app_args;; +(* You probably want this one; stmt has a leading \n *) +let sprintf_stmt = sprintf_fmt fmt_stmt_body;; + (* * Local Variables: * fill-column: 78; |