From 96a57a23900f11dca735786e38aaa65644d97534 Mon Sep 17 00:00:00 2001
From: Simmo Saan <simmo.saan@gmail.com>
Date: Wed, 24 Jan 2024 12:12:11 +0200
Subject: [PATCH] Use incr in CilCfg.countLoopsVisitor

---
 src/util/cilCfg.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/util/cilCfg.ml b/src/util/cilCfg.ml
index 923cf7600b..df766d5bdd 100644
--- 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