diff -r e6d7e32e6481 -r 2425fa6a4f21 src/format.h
--- a/src/format.h	Fri Jan 17 21:42:02 2014 +0200
+++ b/src/format.h	Fri Jan 17 22:55:13 2014 +0200
@@ -117,12 +117,13 @@
 string format_args (const list<format_arg>& args);
 void print_args (FILE* fp, const list<format_arg>& args);
 void do_fatal (const list<format_arg>& args);
+void do_error (string msg);
 
 #ifndef IN_IDE_PARSER
 # define format(...) format_args({ __VA_ARGS__ })
 # define fprint(A, ...) print_args( A, { __VA_ARGS__ })
 # define print(...) print_args( stdout, { __VA_ARGS__ })
-# define error(...) throw script_error (format (__VA_ARGS__))
+# define error(...) do_error (format (__VA_ARGS__))
 #else
 string format (void, ...);
 void fprint (FILE* fp, ...);