diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-09 11:05:35 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-09 11:11:19 -0400 |
| commit | 5272664bcb8c85a81e9af8e61327797f3651c2c6 (patch) | |
| tree | b6fcfb3f8d40b6a25590f2c3dd68328f366a590a /src/util/debug.h | |
| parent | 751539f294fca0d039ccb748776c280e20cd9eab (diff) | |
Add missing set of braces, fixes --trace.
Also ensure // commented Debug() lines don't get included in Debug/Trace_tags.
Diffstat (limited to 'src/util/debug.h')
0 files changed, 0 insertions, 0 deletions