diff --git a/src/frontend/typeenv.ml b/src/frontend/typeenv.ml
index 486d341f9..49a7c8caa 100644
--- a/src/frontend/typeenv.ml
+++ b/src/frontend/typeenv.ml
@@ -838,8 +838,8 @@ let rec add_mutual_cons (tyenv : t) (lev : level) (mutvarntcons : untyped_mutual
             else
               List.iter iter mtyarglist
 
-        | MTypeName(_, mdlnmlst, tynm) ->
-            ()
+        | MTypeName(mtyarglist, mdlnmlst, tynm) ->
+            List.iter iter mtyarglist
     in
     let iter = add_each_dependency_as_edge in
       match mutvarntcons with