From: Tianyi Liang <tianyi-liang@uiowa.edu>
Date: Tue, 11 Feb 2014 23:10:06 +0000 (-0600)
Subject: resolve merge conflicts
X-Git-Tag: cvc5-1.0.0~7094
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=bd0072e146a4ca2acc509af59f745dca7a69ef1d;p=cvc5.git

resolve merge conflicts
---

diff --git a/src/theory/strings/theory_strings.cpp b/src/theory/strings/theory_strings.cpp
index 43132b324..e75f1f34e 100644
--- a/src/theory/strings/theory_strings.cpp
+++ b/src/theory/strings/theory_strings.cpp
@@ -2051,7 +2051,7 @@ bool TheoryStrings::checkCardinality() {
     Node lr = lts[i];
     Trace("strings-card") << "Number of strings with length equal to " << lr << " is " << cols[i].size() << std::endl;
     // size > c^k
-    double k = cols[i].size() < cardinality? 0.0 : ( std::log( cols[i].size() ) / log((double) cardinality) );
+    double k = (int)cols[i].size() < cardinality ? 0.0 : (std::log((double) cols[i].size() ) / log((double) cardinality));
     unsigned int int_k = (unsigned int) k;
     //double c_k = pow ( (double)cardinality, (double)lr );
     if( cols[i].size() > 1 ) {