diff --git a/Analysis/GRSimpleVals.cpp b/Analysis/GRSimpleVals.cpp
index ed0706b..02df7a5 100644
--- a/Analysis/GRSimpleVals.cpp
+++ b/Analysis/GRSimpleVals.cpp
@@ -126,7 +126,7 @@
     
     switch (L.getSubKind()) {
       default:
-        return cast<NonLVal>(UnknownVal());
+        return UnknownVal();
         
       case nonlval::ConcreteIntKind:
         
@@ -226,7 +226,7 @@
       }
       
       // FIXME: Implement unification
-      return cast<NonLVal>(UnknownVal());
+      return UnknownVal();
         //assert (!isa<lval::SymbolVal>(R) && "FIXME: Implement unification.");
       
       break;