diff options
Diffstat (limited to 'language/l2_parse.ml')
| -rw-r--r-- | language/l2_parse.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/language/l2_parse.ml b/language/l2_parse.ml index 703fc49e..c6153f89 100644 --- a/language/l2_parse.ml +++ b/language/l2_parse.ml @@ -323,6 +323,7 @@ type_def_aux = (* Type definition body *) type val_spec_aux = (* Value type specification *) VS_val_spec of typschm * id + | VS_extern_spec of typschm * id * string type |