diff options
Diffstat (limited to 'kernel/subtyping.ml')
| -rw-r--r-- | kernel/subtyping.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/kernel/subtyping.ml b/kernel/subtyping.ml index 6b0931a9e3..50aeaf3473 100644 --- a/kernel/subtyping.ml +++ b/kernel/subtyping.ml @@ -244,4 +244,3 @@ and check_modtypes cst env mtb1 mtb2 equiv = let check_subtypes env sup super = check_modtypes Constraint.empty env sup super false - |