diff -r 66925599259a -r 8b7a21820737 stage4/stage4.hh
--- a/stage4/stage4.hh	Tue Aug 28 08:42:54 2007 +0200
+++ b/stage4/stage4.hh	Wed Aug 29 11:06:13 2007 +0200
@@ -55,6 +55,8 @@
     void *printlocation(const char *str);
     void *printlocation(std::string str);
 
+    void *printlocation_comasep(const char *str);
+
   protected:
     std::ostream *out;
     std::fstream *m_file;