diff --git a/reactor/Core/src/jetbrains/mps/logic/reactor/core/MemEvaluationSession.kt b/reactor/Core/src/jetbrains/mps/logic/reactor/core/MemEvaluationSession.kt index 50f77d09..39100bc0 100644 --- a/reactor/Core/src/jetbrains/mps/logic/reactor/core/MemEvaluationSession.kt +++ b/reactor/Core/src/jetbrains/mps/logic/reactor/core/MemEvaluationSession.kt @@ -60,6 +60,7 @@ class MemEvaluationSession : EvaluationSession { finally { ourBackend.ourSession.set(null) profiler?.formattedData()?.entries?.forEach { e -> durations?.put(e.key, e.value) } + profiler?.clear() } return session diff --git a/reactor/Core/src/jetbrains/mps/logic/reactor/core/Profiler.kt b/reactor/Core/src/jetbrains/mps/logic/reactor/core/Profiler.kt index f6c18389..3887535b 100644 --- a/reactor/Core/src/jetbrains/mps/logic/reactor/core/Profiler.kt +++ b/reactor/Core/src/jetbrains/mps/logic/reactor/core/Profiler.kt @@ -46,6 +46,10 @@ class Profiler { }.toMap() } + fun clear() { + tokenStack.clear() + } + } class Token(val name: String, val id: Int) {