stage4/stage4.hh
changeset 55 8b7a21820737
parent 46 fc1b78ea6d84
child 210 8387cac2aba6
--- 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;