From f56ae705a472dfb4eba8a9fe5d179d0a798a9e6a Mon Sep 17 00:00:00 2001
From: Houtan Bastani <houtan@dynare.org>
Date: Fri, 2 Mar 2018 15:22:45 +0100
Subject: [PATCH] fix bug in symb_id when diff'd expr is not a VariableNode

---
 src/SymbolTable.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/SymbolTable.cc b/src/SymbolTable.cc
index ad61e374..32206857 100644
--- a/src/SymbolTable.cc
+++ b/src/SymbolTable.cc
@@ -732,7 +732,7 @@ SymbolTable::addDiffAuxiliaryVar(int index, expr_t expr_arg, int orig_symb_id, i
 int
 SymbolTable::addDiffAuxiliaryVar(int index, expr_t expr_arg) throw (FrozenException)
 {
-  return addDiffAuxiliaryVar(index, expr_arg, 0, 0);
+  return addDiffAuxiliaryVar(index, expr_arg, -1, 0);
 }
 
 int
-- 
GitLab