diff options
Diffstat (limited to 'src/boot/fe')
| -rw-r--r-- | src/boot/fe/ast.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/boot/fe/ast.ml b/src/boot/fe/ast.ml index 1697bf22..b70b2b88 100644 --- a/src/boot/fe/ast.ml +++ b/src/boot/fe/ast.ml @@ -1377,6 +1377,7 @@ let ty_children (ty:ty) : ty array = [| |] ;; +let sprintf_binop = sprintf_fmt fmt_binop;; let sprintf_expr = sprintf_fmt fmt_expr;; let sprintf_name = sprintf_fmt fmt_name;; let sprintf_name_component = sprintf_fmt fmt_name_component;; |