diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/boot/me/type.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/boot/me/type.ml b/src/boot/me/type.ml index 2dd27144..a1bc886b 100644 --- a/src/boot/me/type.ml +++ b/src/boot/me/type.ml @@ -1215,7 +1215,6 @@ let process_crate (cx:ctxt) (crate:Ast.crate) : unit = let tag_tv = ref TYSPEC_all in unify_ty tag_ty tag_tv; unify_tyvars expected tag_tv; - (* FIXME check arity here? *) List.iter begin fun slot -> |