diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/boot/me/type.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/boot/me/type.ml b/src/boot/me/type.ml index ff1bbd72..b27e68dc 100644 --- a/src/boot/me/type.ml +++ b/src/boot/me/type.ml @@ -1068,7 +1068,7 @@ let process_crate (cx:ctxt) (crate:Ast.crate) : unit = TYSPEC_dictionary names | Ast.COMP_named (Ast.COMP_idx i) -> - let init j = if i + 1 == j then tv else ref TYSPEC_all in + let init j = if i = j then tv else ref TYSPEC_all in TYSPEC_tuple (Array.init (i + 1) init) | Ast.COMP_atom atom -> |