@@ -468,6 +468,7 @@ buildDepMap ci used ctx mainName = addPostulates used $
468 -- the easy cases
468 -- the easy cases
469 getDepsTerm vs bs cd (Constant _) = M.empty
469 getDepsTerm vs bs cd (Constant _) = M.empty
470 getDepsTerm vs bs cd (TType _) = M.empty
470 getDepsTerm vs bs cd (TType _) = M.empty
471+ getDepsTerm vs bs cd (UType _) = M.empty
471 getDepsTerm vs bs cd Erased = M.empty
472 getDepsTerm vs bs cd Erased = M.empty
472 getDepsTerm vs bs cd Impossible = M.empty
473 getDepsTerm vs bs cd Impossible = M.empty