diff options
Diffstat (limited to 'src/theory/quantifiers/quant_conflict_find.cpp')
-rw-r--r-- | src/theory/quantifiers/quant_conflict_find.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/quantifiers/quant_conflict_find.cpp b/src/theory/quantifiers/quant_conflict_find.cpp index f04514480..9f7b270de 100644 --- a/src/theory/quantifiers/quant_conflict_find.cpp +++ b/src/theory/quantifiers/quant_conflict_find.cpp @@ -2281,7 +2281,7 @@ TNode QuantConflictFind::getZero( Kind k ) { if( it==d_zero.end() ){ Node nn; if( k==PLUS ){ - nn = NodeManager::currentNM()->mkConst( Rational(0) ); + nn = NodeManager::currentNM()->mkConst(CONST_RATIONAL, Rational(0)); } d_zero[k] = nn; return nn; |