Fix issue #306

ibex-team · Jan 5, 2018 · 69d796b · 69d796b
1 parent 75ebfe8
commit 69d796b
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/parser/ibex_P_Expr.h b/src/parser/ibex_P_Expr.h
@@ -295,7 +295,7 @@ inline const P_ExprNode* col_vec(const std::vector<const P_ExprNode*>* args) {
 	return new P_ExprNode(P_ExprNode::COL_VEC,*args);
 }
 
-inline const P_ExprNode* infinity() {
+inline const P_ExprNode* dbl_infinity() {
 	return new P_ExprNode(P_ExprNode::INFTY);
 }
 

diff --git a/src/parser/parser.yc b/src/parser/parser.yc
@@ -293,7 +293,7 @@ expr          : expr '+' expr	                { $$ = *$1 + *$3;     }
               | TK_FUNC_SYMBOL '(' expr_row ')' { $$ = apply(scopes().top().get_func($1), *$3); free($1); delete $3; }
               | TK_NEW_SYMBOL                   { ibexerror("unknown symbol"); }
               | TK_FLOAT                        { $$ = new P_ExprConstant($1); }
-              | TK_INFINITY                     { $$ = infinity(); }              
+              | TK_INFINITY                     { $$ = dbl_infinity(); }              
               | TK_INTEGER                      { $$ = new P_ExprConstant($1); }
               | interval                        { $$ = new P_ExprConstant(*$1); delete $1; }
               | TK_INF '(' expr ')'             { $$ = inf($3); }