diff options
Diffstat (limited to 'checker/validate.ml')
| -rw-r--r-- | checker/validate.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/checker/validate.ml b/checker/validate.ml index 678af9f2d5..070a112bb6 100644 --- a/checker/validate.ml +++ b/checker/validate.ml @@ -105,7 +105,7 @@ and val_tuple ?name vs ctx o = else fail ctx o ("tuple size: found "^string_of_int (Obj.size o)^ - ", expected "^string_of_int n) + ", expected "^string_of_int n) (* Check that the object is either a constant constructor of tag < cc, or a constructed variant. each element of vv is an array of |