Use incr in CilCfg.countLoopsVisitor

goblint · Jan 24, 2024 · 96a57a2 · 96a57a2
1 parent 9a5d2e3
commit 96a57a2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/util/cilCfg.ml b/src/util/cilCfg.ml
@@ -29,7 +29,7 @@ class countLoopsVisitor(count) = object
   inherit nopCilVisitor
 
   method! vstmt stmt = match stmt.skind with
-    | Loop _ -> count := !count + 1; DoChildren
+    | Loop _ -> incr count; DoChildren
     | _ -> DoChildren
 
 end