Silly bug fix

include float.h and math.h when floating point support is enabled
csmith-project · Sep 21, 2014 · 51197ec · 51197ec
1 parent d69927c
commit 51197ec
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/OutputMgr.cpp b/src/OutputMgr.cpp
@@ -286,8 +286,9 @@ OutputMgr::OutputHeader(int argc, char *argv[], unsigned long seed)
 		out << "#define NO_LONGLONG" << std::endl;
 		out << endl;
 	}
-	if (!CGOptions::enable_float()) {
+	if (CGOptions::enable_float()) {
 		out << "#include <float.h>\n";
+		out << "#include <math.h>\n";
 	}
 
 	ExtensionMgr::OutputHeader(out);