From a2923ec61b601b0e3f4f78f22fffc1c2421f0d81 Mon Sep 17 00:00:00 2001
From: Tim King <taking@google.com>
Date: Thu, 5 May 2016 10:35:04 -0700
Subject: [PATCH] Removing a null pointer reference that was found by
 -fsanitize=null.

---
 src/parser/cvc/Cvc.g | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/parser/cvc/Cvc.g b/src/parser/cvc/Cvc.g
index 5c37a5372..4c0516eb6 100644
--- a/src/parser/cvc/Cvc.g
+++ b/src/parser/cvc/Cvc.g
@@ -915,7 +915,10 @@ toplevelDeclaration[CVC4::Command*& cmd]
  * A bound variable declaration.
  */
 boundVarDecl[std::vector<std::string>& ids, CVC4::Type& t]
-  : identifierList[ids,CHECK_NONE,SYM_VARIABLE] COLON declareVariables[*(Command**)NULL,t,ids,false]
+@init {
+  Command* local_cmd = NULL;
+}
+  : identifierList[ids,CHECK_NONE,SYM_VARIABLE] COLON declareVariables[local_cmd,t,ids,false]
   ;
 
 /**
-- 
2.30.2