diff: src/main.h
src/main.h
- changeset 861
- 83426c5fa732
- parent 857
- e62983881460
- child 927
- 409b82a4765e
- child 958
- 1dc890c73e01
--- a/src/main.h Mon Aug 04 13:43:54 2014 +0300 +++ b/src/main.h Wed Aug 06 16:18:24 2014 +0300 @@ -35,6 +35,6 @@ // Null pointer static const std::nullptr_t null = nullptr; -void assertionFailure (const char* file, int line, const char* funcname, const char* expr); +void HandleAssertFailure (const char* file, int line, const char* funcname, const char* expr); bool IsExiting(); void Exit();
