From b2d4b6f8d39775f257aa4fb8c2bf342e23779610 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Sat, 25 Jul 2015 01:00:18 +0200
Subject: [PATCH] Make sure names are really unique, especially when we have
concurrency.
---
src/main/scala/leon/purescala/Common.scala | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/main/scala/leon/purescala/Common.scala b/src/main/scala/leon/purescala/Common.scala
index 27818fd39..764320d23 100644
--- a/src/main/scala/leon/purescala/Common.scala
+++ b/src/main/scala/leon/purescala/Common.scala
@@ -64,12 +64,12 @@ object Common {
private var globalId = -1
private var nameIds = Map[String, Int]().withDefaultValue(-1)
- def next(name: String): Int = {
+ def next(name: String): Int = synchronized {
nameIds += name -> (1+nameIds(name))
nameIds(name)
}
-
- def nextGlobal = {
+
+ def nextGlobal = synchronized {
globalId += 1
globalId
}
--
GitLab