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