Fixed silly programming style.

Remi Delmas · Remi Delmas · commit 844c30f89e36 · 2021-12-01T22:44:32.000Z
diff --git a/src/analyses/goto_check.cpp b/src/analyses/goto_check.cpp
@@ -1937,7 +1937,7 @@ class flag_resett
   /// if the flag was already seen before.
   void disable(bool &flag)
   {
-    if(flag != false)
+    if(flag)
     {
       flags_to_reset[&flag] = flag;
       flag = false;

Original file line number	Diff line number	Diff line change
`@@ -1937,7 +1937,7 @@ class flag_resett`
`1937`	`1937`	`/// if the flag was already seen before.`
`1938`	`1938`	`void disable(bool &flag)`
`1939`	`1939`	`{`
`1940`		`- if(flag != false)`
	`1940`	`+ if(flag)`
`1941`	`1941`	`{`
`1942`	`1942`	`flags_to_reset[&flag] = flag;`
`1943`	`1943`	`flag = false;`