diff options
| author | Christian Grothoff <christian@grothoff.org> | 2016-05-24 20:37:23 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2016-05-24 20:37:23 +0200 |
| commit | 079ef7cb6f911d97a796acf621d2f1212dc9c282 (patch) | |
| tree | 181d9e7485dd8916c795569e642010f81d2bbf02 /src/include/gauger.h | |
| parent | f471cfcec5aaa7283ce0d6f61b2a321d101efff0 (diff) | |
fixing #4520: be more aggressive at asserting when API is violated
Diffstat (limited to 'src/include/gauger.h')
0 files changed, 0 insertions, 0 deletions