diff --git a/src/Convert/Typedef.hs b/src/Convert/Typedef.hs
index 1bcd6a3..4317bb8 100644
--- a/src/Convert/Typedef.hs
+++ b/src/Convert/Typedef.hs
@@ -93,6 +93,6 @@ resolveType types (Alias Nothing st rs1) =
         (Struct          p l rs2) -> Struct          p l $ rs1 ++ rs2
         (Union           p l rs2) -> Union           p l $ rs1 ++ rs2
         (InterfaceT     x my rs2) -> InterfaceT     x my $ rs1 ++ rs2
+        (Alias          ps x rs2) -> Alias          ps x $ rs1 ++ rs2
         (IntegerAtom   kw _ ) -> error $ "resolveType encountered packed `" ++ (show kw) ++ "` on " ++ st
         (NonInteger    kw   ) -> error $ "resolveType encountered packed `" ++ (show kw) ++ "` on " ++ st
-        (Alias  _ _ _) -> error $ "resolveType invariant failed on " ++ st