commit | 02c32860c3484e9e50fbdc80f0edc11b414be60e | [log] [tgz] |
---|---|---|
author | Daniel Strueber <strueber@mathematik.uni-marburg.de> | Sat Aug 12 12:35:04 2017 -0400 |
committer | Gerrit Code Review @ Eclipse.org <gerrit@eclipse.org> | Sat Aug 12 12:35:04 2017 -0400 |
tree | b94eee1c1ee59d475a8e3e0b3fd696ccb43f770f | |
parent | cb9b581fce060274ae493cf8b877f97e9e4903c5 [diff] | |
parent | 0bb019d300558127f4d9f1aaa9536552b5831223 [diff] |
Merge "Fix problem with dangling check of rules with multi-rules"