Reserve unique time for mapped value in filter handler

2017-11-16 11:07:04 +03:00
parent a88719ff08
commit 523bdb0d54
1 changed files with 1 additions and 0 deletions
@@ -68,6 +68,7 @@ class FilterCallHandler : BothSemanticsHandler {
      val filterResult = dsl.variable(dsl.types.BOOLEAN, "result")
      declare(filterResult, oldPredicate.call("invoke", lambdaArg), false)
      +filteringMap.set(dsl.currentTime(), filterResult)
+      +dsl.updateTime() // reserve unique time for mapped value
      doReturn(filterResult)
    }.toCode()