diff -r a97d0e5a5817 -r 0d7ac9ba25c2 src/Types.cpp
--- a/src/Types.cpp	Sun Jul 29 01:21:24 2012 -0700
+++ b/src/Types.cpp	Sun Jul 29 02:17:11 2012 -0700
@@ -181,6 +181,9 @@
         return true;
       }
 
+      case Type::VOID:
+      	return true;
+
       default:
         assert(left->kind() == Type::REFERENCE);
         return Compare(left->contained(), right->contained());