From 46bda44852ab6d358bef931f8db5b9271741eb93 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9gis=20Blanc?= <regwblanc@gmail.com>
Date: Fri, 16 Nov 2012 20:52:03 +0100
Subject: [PATCH] rename IntegerInequalities
---
.../{IntegerInequality.scala => IntegerInequalities.scala} | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
rename src/main/scala/leon/synthesis/rules/{IntegerInequality.scala => IntegerInequalities.scala} (98%)
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 f91358fb3..6f19fef95 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
--
GitLab