diff options
| author | Maxime Dénès | 2017-05-25 16:06:47 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-05-25 16:06:47 +0200 |
| commit | 4ad6dbef69f9fd4cb1b55efc252d67325068e6b1 (patch) | |
| tree | 0c2c1f2310cf5751a2f97f29a0bfd5a8295d1da2 /interp/stdarg.ml | |
| parent | 48d56f49b1db47f393ef3e0f31d1b22adf497afa (diff) | |
| parent | 5c5f7c8d6a6ed8cbb99b12dde09fdbcc30ca8ab9 (diff) | |
Merge PR#637: Short cleaning of the interpretation path for constr_with_bindings
Diffstat (limited to 'interp/stdarg.ml')
| -rw-r--r-- | interp/stdarg.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/interp/stdarg.ml b/interp/stdarg.ml index 34fc5b2dc5..a393dd71c2 100644 --- a/interp/stdarg.ml +++ b/interp/stdarg.ml @@ -59,6 +59,8 @@ let wit_open_constr = make0 ~dyn:(val_tag (topwit wit_constr)) "open_constr" let wit_constr_with_bindings = make0 "constr_with_bindings" +let wit_open_constr_with_bindings = make0 "open_constr_with_bindings" + let wit_bindings = make0 "bindings" let wit_red_expr = make0 "redexpr" |