From 14db5363e20aa051b465f54c28038a1462b92193 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9gis=20Blanc?= <regwblanc@gmail.com>
Date: Thu, 22 Nov 2012 14:52:13 +0100
Subject: [PATCH] simplify more term
---
src/main/scala/leon/purescala/TreeOps.scala | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/main/scala/leon/purescala/TreeOps.scala b/src/main/scala/leon/purescala/TreeOps.scala
index f2158675f..fc3f06d22 100644
--- a/src/main/scala/leon/purescala/TreeOps.scala
+++ b/src/main/scala/leon/purescala/TreeOps.scala
@@ -1370,6 +1370,7 @@ object TreeOps {
case Plus(IntLiteral(0), e) => e
case Plus(e, IntLiteral(0)) => e
case Plus(e1, UMinus(e2)) => Minus(e1, e2)
+ case Plus(Plus(e, IntLiteral(i1)), IntLiteral(i2)) => Plus(e, IntLiteral(i1+i2))
case Minus(e, IntLiteral(0)) => e
case Minus(IntLiteral(0), e) => UMinus(e)
--
GitLab