| commit | f8671e342be466d4b64ee60745b265a7a044e84d | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Mon May 03 23:47:27 2010 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Mon May 03 23:47:27 2010 +0000 |
| tree | 775327635ed36ae4c4fc801166c0fa1feb291663 | |
| parent | 31adedee56e405ab26328d386ff2d15dab9b53e7 [diff] |
fix for new test test914_bindingPredicate21 - roles with re-checkable error could drop one error message in a guard predicate