From ab6b2d588cc08c3dc69149c51da6787f15b62d61 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Thu, 27 Aug 2015 12:01:40 +0200
Subject: [PATCH] Remove useless type tag
---
src/main/scala/leon/purescala/Common.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/leon/purescala/Common.scala b/src/main/scala/leon/purescala/Common.scala
index 38206418d..6f738e6b3 100644
--- a/src/main/scala/leon/purescala/Common.scala
+++ b/src/main/scala/leon/purescala/Common.scala
@@ -88,7 +88,7 @@ object Common {
* @param tpe The type of the identifier
* @param alwaysShowUniqueID If the unique ID should always be shown */
def apply(name: String, tpe: TypeTree = Untyped, alwaysShowUniqueID: Boolean = false) : Identifier =
- new Identifier(name, UniqueCounter.nextGlobal, UniqueCounter.next(name), tpe: TypeTree, alwaysShowUniqueID)
+ new Identifier(name, UniqueCounter.nextGlobal, UniqueCounter.next(name), tpe, alwaysShowUniqueID)
/** Builds a fresh identifier, whose ID is always shown
* @param name The name of the identifier
--
GitLab