diff --git a/include/io_frontend.c b/include/io_frontend.c
index 9c65e59245fef07fc6231fad93f4d80e3e08986c..3cd2b9be6fe2f6126dc27bee97dc43702f25275e 100644
--- a/include/io_frontend.c
+++ b/include/io_frontend.c
@@ -8,7 +8,7 @@ int ISATTY;
 /* Standard Input procedures **************/
 _Bool _get_bool(FILE* file, char* n){
    char b[512];
-   _Bool r = 0;
+   int r = 0;
    int s = 1;
    char c;
    do {
@@ -23,7 +23,7 @@ _Bool _get_bool(FILE* file, char* n){
       if((c == '1') || (c == 't') || (c == 'T')) r = 1;
    } while((s != 1) || (r == -1));
    fprintf(file, "%i\n",r);
-   return r;
+   return (_Bool)r;
 }
 
 int _get_int(FILE* file, char* n){