blob: 2dc0ddd12f266deaa9e557afd5db7b42a0db9877 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
diff --git a/src/util/debug.cpp b/src/util/debug.cpp
index 54c67fe..66676c6 100644
--- a/src/util/debug.cpp
+++ b/src/util/debug.cpp
@@ -78,3 +78,3 @@ void invoke_gdb() {
char result;
- bool ok = (std::cin >> result);
+ bool ok = bool(std::cin >> result);
if (!ok) exit(ERR_INTERNAL_FATAL); // happens if std::cin is eof or unattached.
diff --git a/src/util/mpz.cpp b/src/util/mpz.cpp
index 8559279..7dca14b 100644
--- a/src/util/mpz.cpp
+++ b/src/util/mpz.cpp
@@ -136,3 +136,3 @@ mpz_manager<SYNCH>::mpz_manager():
mpz one(1);
- set(m_two64, UINT64_MAX);
+ set(m_two64, (uint64)UINT64_MAX);
add(m_two64, one, m_two64);
|
GitWeb
