diff --git a/src/main/scala/leon/synthesis/rules/IntegerInequality.scala b/src/main/scala/leon/synthesis/rules/IntegerInequalities.scala
similarity index 98%
rename from src/main/scala/leon/synthesis/rules/IntegerInequality.scala
rename to src/main/scala/leon/synthesis/rules/IntegerInequalities.scala
index f91358fb34dc76bec8fdc9eb61dcb1bc059a27d5..6f19fef9537e88f5c9fcd1fae08bc5f32088768f 100644
--- a/src/main/scala/leon/synthesis/rules/IntegerInequality.scala
+++ b/src/main/scala/leon/synthesis/rules/IntegerInequalities.scala
@@ -11,7 +11,7 @@ import purescala.Definitions._
 import LinearEquations.elimVariable
 import ArithmeticNormalization.simplify
 
-class IntegerInequality(synth: Synthesizer) extends Rule("Integer Inequality", synth, 300) {
+class IntegerInequalities(synth: Synthesizer) extends Rule("Integer Inequality", synth, 300) {
   def applyOn(task: Task): RuleResult = {
     val problem = task.problem
     val TopLevelAnds(exprs) = problem.phi