tree 2386753a6bff55dc8de7f39f37093bf8de2951ce
parent 51c8e8b77f4afd0f4dbb7a394ed82d2d5adfa331
author Daniel Strueber <strueber@mathematik.uni-marburg.de> 1569924697 +0100
committer Daniel <strueber@mathematik.uni-marburg.de> 1569925268 +0100

Bugfix: Update stale cache values in RuleInfo

Fixes a bug in the macher: During the matching of multi-rules, stale
parameter values from previous executions were loaded from the cached
RuleInfo class.