Merge branch 'fix-check-of-type-def-deps'

gfngfn · Jul 14, 2019 · b1349fa · b1349fa
2 parents 6527e9e + 900962e
commit b1349fa
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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