add a 'u' for optics

kroening · kroening · commit c5b0bd1af93a · 2019-05-15T08:14:28.000+01:00
diff --git a/src/ansi-c/gcc_version.cpp b/src/ansi-c/gcc_version.cpp
@@ -148,7 +148,7 @@ void configure_gcc(const gcc_versiont &gcc_version)
   // ISO/IEC TS 18661-3:2015 support was introduced with gcc 7.0
   if(
     gcc_version.flavor == gcc_versiont::flavort::GCC &&
-    gcc_version.is_at_least(7))
+    gcc_version.is_at_least(7u))
   {
     config.ansi_c.ts_18661_3_Floatn_types = true;
   }

Original file line number	Diff line number	Diff line change
`@@ -148,7 +148,7 @@ void configure_gcc(const gcc_versiont &gcc_version)`
`148`	`148`	`// ISO/IEC TS 18661-3:2015 support was introduced with gcc 7.0`
`149`	`149`	`if(`
`150`	`150`	`gcc_version.flavor == gcc_versiont::flavort::GCC &&`
`151`		`- gcc_version.is_at_least(7))`
	`151`	`+ gcc_version.is_at_least(7u))`
`152`	`152`	`{`
`153`	`153`	`config.ansi_c.ts_18661_3_Floatn_types = true;`
`154`	`154`	`}`