1 files changed, 4 insertions, 1 deletions
diff --git a/types.c b/types.c
index a1935616..5fb591ca 100644
--- a/types.c
+++ b/types.c
@@ -13,7 +13,10 @@ CORD type_to_cord(type_t *t) {
     switch (t->tag) {
         case UnknownType: return "???";
         case AbortType: return "Abort";
-        case ReturnType: return CORD_all("Return(", type_to_cord(Match(t, ReturnType)->ret), ")");
+        case ReturnType: {
+            type_t *ret = Match(t, ReturnType)->ret;
+            return CORD_all("Return(", ret ? type_to_cord(ret) : "Void", ")");
+        }
         case VoidType: return "Void";
         case MemoryType: return "Memory";
         case BoolType: return "Bool";