summaryrefslogtreecommitdiff
path: root/libs
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-10-18 15:20:38 +0200
committerClifford Wolf <clifford@clifford.at>2014-10-18 15:20:38 +0200
commit84ffe04075bbddfd1b288295c07d036416923c3a (patch)
tree1d3b80144cad20aeab554084d42e7ba592fc686e /libs
parent85572b05e5359f28c1625b873dc14428f796a454 (diff)
Fixed various VS warnings
Diffstat (limited to 'libs')
-rw-r--r--libs/ezsat/ezsat.cc4
1 files changed, 2 insertions, 2 deletions
diff --git a/libs/ezsat/ezsat.cc b/libs/ezsat/ezsat.cc
index 657bed9d..b713c4c9 100644
--- a/libs/ezsat/ezsat.cc
+++ b/libs/ezsat/ezsat.cc
@@ -1118,7 +1118,7 @@ int64_t ezSAT::vec_model_get_signed(const std::vector<int> &modelExpressions, co
for (int i = 0; i < 64; i++) {
int j = i < int(vec1.size()) ? i : vec1.size()-1;
if (modelMap.at(vec1[j]))
- value |= 1 << i;
+ value |= int64_t(1) << i;
}
return value;
}
@@ -1132,7 +1132,7 @@ uint64_t ezSAT::vec_model_get_unsigned(const std::vector<int> &modelExpressions,
modelMap[modelExpressions[i]] = modelValues[i];
for (int i = 0; i < int(vec1.size()); i++)
if (modelMap.at(vec1[i]))
- value |= 1 << i;
+ value |= uint64_t(1) << i;
return value;
}