| commit | 894a7d55fb64dc357a7fec20c8bcf0965b39dc89 | [log] [tgz] |
|---|---|---|
| author | Daniel Strüber <strueber@mathematik.uni-marburg.de> | Tue Feb 20 14:51:08 2018 +0100 |
| committer | Daniel Strueber <strueber@mathematik.uni-marburg.de> | Tue Feb 20 09:13:31 2018 -0500 |
| tree | 30fda3fea5dc3dacdacdf81f45f7679e0a7cf2c7 | |
| parent | c17f450e29d8b04750c02a09616bb6facfa354b6 [diff] |
Update HenshinModelCleaner: no aggressive cleaning of unused parameters Since the cleaner is called constantly from the Diagram Editor, it should not remove unused parameters (which might just have been added by the user) Change-Id: Icdffe8d1d341c98312e3689a85bde01bc5a0defe