diff options
| author | Pierre-Marie Pédrot | 2016-08-28 19:52:02 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2016-08-28 19:55:54 +0200 |
| commit | 812712c0683d03760c10ef7397fb4ff0041c4860 (patch) | |
| tree | 0771a38df6d4118ee10678543667e3d156b47b7c /dev/include | |
| parent | 2b4517cf85432d68e53ac46815309fd8068a40ad (diff) | |
Fix bug #4750: Change format of inconsistent assumptions message.
We now print the file responsible for the incompatibility in require error
messages.
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions