Remove unused checkNoBreak visitors

goblint · Oct 2, 2024 · e656cc1 · e656cc1
1 parent 6f833d3
commit e656cc1
Showing 1 changed file with 0 additions and 8 deletions.
diff --git a/src/util/loopUnrolling.ml b/src/util/loopUnrolling.ml
@@ -31,14 +31,6 @@ class checkNoBreakVisitor = object
 
 end
 
-let checkNoBreakStmt stmt =
-  let visitor = new checkNoBreakVisitor in
-  ignore @@ visitCilStmt visitor stmt
-
-let checkNoBreakBlock block =
-  let visitor = new checkNoBreakVisitor in
-  ignore @@ visitCilBlock visitor block
-
 class findBreakVisitor(compOption: exp option ref) = object
   inherit nopCilVisitor