diff options
| author | Guillaume Melquiond | 2017-04-07 13:53:25 +0200 |
|---|---|---|
| committer | Guillaume Melquiond | 2017-04-07 13:53:25 +0200 |
| commit | 0cd64f60b1057e4c3daa0523ed42b00c315cf136 (patch) | |
| tree | 4cacd9de3b3a89f4e3b152fe22492f81557ec3e2 /dev/include | |
| parent | fee2365f13900b4d4f4b88c986cbbf94403eeefa (diff) | |
Add some hints to the "real" database to automatically discharge literal comparisons.
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions