diff options
| author | John Hodge <tpg@mutabah.net> | 2018-06-04 13:21:22 +0800 |
|---|---|---|
| committer | John Hodge <tpg@mutabah.net> | 2018-06-04 13:21:22 +0800 |
| commit | 42bdc18d4ba8f9fd19109050eb83bb6615539a75 (patch) | |
| tree | 88501e01485038ad879160383b60c2e02b97f96e /tools/common/debug.h | |
| parent | 8d99deade68a9c995101fd5944f9011fcf3dccc7 (diff) | |
| download | mrust-42bdc18d4ba8f9fd19109050eb83bb6615539a75.tar.gz | |
All - Ensure that all files have a header comment, remove some dead code
Diffstat (limited to 'tools/common/debug.h')
| -rw-r--r-- | tools/common/debug.h | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/tools/common/debug.h b/tools/common/debug.h index 86c88de9..6935bfb9 100644 --- a/tools/common/debug.h +++ b/tools/common/debug.h @@ -1,3 +1,10 @@ +/* + * mrustc common tools + * - by John Hodge (Mutabah) + * + * tools/common/debug.h + * - Generic debug interface (used by minicargo/standalone_miri) + */ #pragma once #include <functional> |