From 2d7563d27c18a47cd7eb36d26ef9ad6c763aef94 Mon Sep 17 00:00:00 2001
From: Francesco Gatti <gattifrancesco@hotmail.it>
Date: Fri, 11 Aug 2017 15:20:15 +0000
Subject: [PATCH] cast fix

---
 src/utils.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/utils.cpp b/src/utils.cpp
index 65c040d..57f4d40 100644
--- a/src/utils.cpp
+++ b/src/utils.cpp
@@ -15,7 +15,7 @@ void printCenteredTitle(const char *title, char fill, int dim) {
 
 bool fileExist(const char *fname) {
     std::ifstream dataFile (fname, std::ios::in | std::ios::binary);
-    return dataFile;
+    return (bool) dataFile;
 }