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 adc6f60d..efb64e50 100644 --- a/src/boot/fe/ast.ml +++ b/src/boot/fe/ast.ml @@ -1749,6 +1749,8 @@ let sprintf_expr = sprintf_fmt fmt_expr;; let sprintf_name = sprintf_fmt fmt_name;; let sprintf_name_component = sprintf_fmt fmt_name_component;; let sprintf_lval = sprintf_fmt fmt_lval;; +let sprintf_plval = sprintf_fmt fmt_plval;; +let sprintf_pexp = sprintf_fmt fmt_pexp;; let sprintf_atom = sprintf_fmt fmt_atom;; let sprintf_slot = sprintf_fmt fmt_slot;; let sprintf_slot_key = sprintf_fmt fmt_slot_key;; |