diff -r 3127ddda2be2 -r f9cff11ae622 stage4/stage4.hh
--- a/stage4/stage4.hh	Tue Apr 17 17:41:58 2012 +0200
+++ b/stage4/stage4.hh	Wed Apr 18 13:29:08 2012 +0100
@@ -39,6 +39,10 @@
 
 #include "../absyntax/absyntax.hh"
 
+
+void stage4err(const char *stage4_generator_id, symbol_c *symbol1, symbol_c *symbol2, const char *errmsg, ...);
+
+
 class stage4out_c {
   public:
     std::string indent_level;