From e480a1b7f8a95964a090fdc06d149f3e37214596 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Fri, 15 Apr 2011 22:38:58 +0000
Subject: [PATCH] bug...wonder how this used to work??

---
 Robust/src/IR/TypeDescriptor.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Robust/src/IR/TypeDescriptor.java b/Robust/src/IR/TypeDescriptor.java
index 17636179..edf28244 100644
--- a/Robust/src/IR/TypeDescriptor.java
+++ b/Robust/src/IR/TypeDescriptor.java
@@ -186,7 +186,7 @@ public class TypeDescriptor extends Descriptor {
     //Can't safely use [ in C
     if (isArray())
       return "_AR_"+this.dereference().getSafeDescriptor();
-    else if (isClass())
+    else if (isClass()||isEnum())
       return class_desc.getSafeDescriptor();
     else if (isByte())
       return "B";
@@ -206,7 +206,7 @@ public class TypeDescriptor extends Descriptor {
       return "F";
     else if (isTag())
       return "T";
-    else throw new Error();
+    else throw new Error(toString());
   }
 
   public boolean isNumber() {
-- 
2.34.1