No need to match and unroll comparison operator type in LoopUnrolling

It should always be int.

Author: sim642

src/util/loopUnrolling.ml

@@ -134,7 +134,7 @@ let containsInstructions stmt =
     true
 
 let isCompare = function
-  | Lt | Gt |	Le | Ge | Ne -> true (*an loop that test for equality can not be of the type we look for*)
+  | Lt | Gt |	Le | Ge | Ne -> true (* an loop that test for equality can not be of the type we look for*)
   | _ -> false
 
 let loopBody loopStatement = match loopStatement.skind with
@@ -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 =