diff options
Diffstat (limited to 'interp')
| -rw-r--r-- | interp/stdarg.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/interp/stdarg.ml b/interp/stdarg.ml index 9e85dbaf38..2a7d52e3af 100644 --- a/interp/stdarg.ml +++ b/interp/stdarg.ml @@ -27,7 +27,7 @@ let wit_string : string uniform_genarg_type = make0 "string" let wit_pre_ident : string uniform_genarg_type = - make0 "preident" + make0 ~dyn:(val_tag (topwit wit_string)) "preident" (** Aliases for compatibility *) |