diff options
| author | Philip Hazel <ph10@hermes.cam.ac.uk> | 2005-05-17 11:20:32 +0000 |
|---|---|---|
| committer | Philip Hazel <ph10@hermes.cam.ac.uk> | 2005-05-17 11:20:32 +0000 |
| commit | 9c7a242c6007e9854d3332777c0ca131da51c775 (patch) | |
| tree | 18dd5f4829ae08bac592548077df19b4bd60e4ed /src/OS | |
| parent | c1ac69960f6c08393233fe99fe44a1c99373e6df (diff) | |
Output the warning log line about deferring conditions in "warn"
statements every time, not just once per message.
Diffstat (limited to 'src/OS')
0 files changed, 0 insertions, 0 deletions