diff -r 874bbfa55da8 -r 481073b016a9 sources/basics.h
--- a/sources/basics.h	Tue Dec 16 00:05:27 2014 +0200
+++ b/sources/basics.h	Tue Dec 16 00:15:44 2014 +0200
@@ -63,7 +63,6 @@
 using Function = std::function<Signature>;
 
 FUNCTION print_to_console (String a) -> void;
-FUNCTION request_exit() -> void;
 
 template<typename T> inline FUNCTION
 clamp (T a, T b, T c) -> T