tree 24d6b02785f10c67baac904128ef8ee7b2c648ec
parent 2efc0082df19d7e013d9e65a568125ecdeb4edc7
author Matthias Tichy <eclipse@tichy.de> 1594998911 +0200
committer Matthias Tichy <eclipse@tichy.de> 1594998911 +0200

support for profiling the Henshin matching process

Change-Id: Ife23b99ba07d6e37b2786ef9295c9a3e4915f739