From 0b7eb67d6d245061ec0db4e577c840bb8cb31700 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <colder@php.net>
Date: Fri, 25 Jan 2013 11:30:43 +0100
Subject: [PATCH] Implement freshen on identifiers
---
src/main/scala/leon/purescala/Common.scala | 2 ++
1 file changed, 2 insertions(+)
diff --git a/src/main/scala/leon/purescala/Common.scala b/src/main/scala/leon/purescala/Common.scala
index 049da29b3..fde8be1a9 100644
--- a/src/main/scala/leon/purescala/Common.scala
+++ b/src/main/scala/leon/purescala/Common.scala
@@ -36,6 +36,8 @@ object Common {
private var _islb: Boolean = false
def markAsLetBinder : Identifier = { _islb = true; this }
def isLetBinder : Boolean = _islb
+
+ def freshen: Identifier = FreshIdentifier(name, alwaysShowUniqueID).setType(getType)
}
private object UniqueCounter {
--
GitLab