From: Jan Engelhardt Date: 2012-12-06 15:33:29.895691589 +0100 build: resolve -Wreturn-type warnings qsolve_main.cpp: In function 'bool input_Rel(const char*, _4ti2_::BitSet&, _4ti2_::BitSet&, _4ti2_::BitSet&)': qsolve_main.cpp:336:1: warning: control reaches end of non-void function [-Wreturn-type] --- src/groebner/qsolve_main.cpp | 1 + 1 file changed, 1 insertion(+) Index: 4ti2-1.3.2/src/groebner/qsolve_main.cpp =================================================================== --- 4ti2-1.3.2.orig/src/groebner/qsolve_main.cpp +++ 4ti2-1.3.2/src/groebner/qsolve_main.cpp @@ -333,4 +333,5 @@ input_Rel(const char* rel_filename, BitS std::cerr << "INPUT ERROR: Check there are only the characters =, <, and >.\n"; exit(1); } + return 1; }