diff options
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> |