diff options
| author | John Hodge <tpg@mutabah.net> | 2018-06-03 13:06:12 +0800 |
|---|---|---|
| committer | John Hodge <tpg@mutabah.net> | 2018-06-03 13:06:44 +0800 |
| commit | ada4bdefc7da9c81e0006553f218efe56a4349ce (patch) | |
| tree | 51809c1bf87d3f7543c499bade055bf0fd785c2d /tools/standalone_miri/debug.hpp | |
| parent | b635b94597796728194de0f8d2619f2c1f5ee542 (diff) | |
| download | mrust-ada4bdefc7da9c81e0006553f218efe56a4349ce.tar.gz | |
Standalone MIRI - Fix parse errors from mrustc changes, add recursion limit
Diffstat (limited to 'tools/standalone_miri/debug.hpp')
| -rw-r--r-- | tools/standalone_miri/debug.hpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/standalone_miri/debug.hpp b/tools/standalone_miri/debug.hpp index 6b136ccb..b3b0d76f 100644 --- a/tools/standalone_miri/debug.hpp +++ b/tools/standalone_miri/debug.hpp @@ -33,7 +33,7 @@ public: template<typename T> ::std::ostream& operator<<(const T& v) { return m_inner << v; } - static bool set_output_file(const ::std::string& s); + static void set_output_file(const ::std::string& s); static bool enabled(const char* fcn_name); static DebugSink get(const char* fcn_name, const char* file, unsigned line, DebugLevel lvl); // TODO: Add a way to insert an annotation before/after an abort/warning/... that indicates what input location caused it. |