diff options
| author |  Christoph Hertzberg <chtz@informatik.uni-bremen.de> | 2016-05-26 16:16:41 +0200 |
|---|---|---|
| committer | Christoph Hertzberg <chtz@informatik.uni-bremen.de> | 2016-05-26 16:16:41 +0200 |
| commit | 2ee306e44ac9d97c2988f3b7475b5d28209e713e (patch) | |
| tree | 952946c7f245fc4eefd384a69acd90549b208492 /debug | |
| parent | 37197b602b3c6ee6094065d63b8562f8fe756617 (diff) | |
Temporary workaround for bug #1237. The snippet (expectedly) failed with enabled assertions.
Diffstat (limited to 'debug')
0 files changed, 0 insertions, 0 deletions