No need to match and unroll comparison operator type in LoopUnrolling

It should always be int.
goblint · Feb 20, 2025 · 169e2ce · 169e2ce
1 parent 95e136b
commit 169e2ce
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/util/loopUnrolling.ml b/src/util/loopUnrolling.ml
@@ -260,8 +260,8 @@ let findLoopVarAndGoal loopStatement func (op, exp1, exp2) =
     end;
   | _ -> None
 
-let getLoopVar loopStatement func = function (* TODO: unrolltype? *)
-  | BinOp (op, exp1, exp2, TInt _) when isCompare op -> findLoopVarAndGoal loopStatement func (op, exp1, exp2)
+let getLoopVar loopStatement func = function
+  | BinOp (op, exp1, exp2, _) when isCompare op -> findLoopVarAndGoal loopStatement func (op, exp1, exp2)
   | _ -> None
 
 let getsPointedAt var func =