diff options
Diffstat (limited to 'src/boot/fe')
| -rw-r--r-- | src/boot/fe/ast.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/boot/fe/ast.ml b/src/boot/fe/ast.ml index 0f61eec4..1697bf22 100644 --- a/src/boot/fe/ast.ml +++ b/src/boot/fe/ast.ml @@ -1389,6 +1389,8 @@ 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_mod_item = + sprintf_fmt (fun ff (id,item) -> fmt_mod_item ff id item);; let sprintf_mod_items = sprintf_fmt fmt_mod_items;; let sprintf_decl_param = sprintf_fmt fmt_decl_param;; let sprintf_decl_params = sprintf_fmt fmt_decl_params;; |