diff options
| -rw-r--r-- | typing/includemod.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/typing/includemod.ml b/typing/includemod.ml index b6f68c881..7316a26af 100644 --- a/typing/includemod.ml +++ b/typing/includemod.ml @@ -297,8 +297,6 @@ and signatures env cxt subst sig1 sig2 = (* Do not report in case of failure, as the main type will generate an error *) Field_type (String.sub s 0 (String.length s - 4)), false - | (Sig_type _ | Sig_modtype _ | Sig_class_type _), name2 -> - name2, false | _ -> name2, true in begin try |