src/core/trace-resolver.h
changeset 1397 fdc239ba72a7
parent 1384 a500f1a7c01d
child 1399 5945e92014e2
--- a/src/core/trace-resolver.h	Wed Aug 29 16:42:55 2007 +0200
+++ b/src/core/trace-resolver.h	Wed Aug 29 16:43:04 2007 +0200
@@ -74,6 +74,7 @@
   {
   public:
     void Print (std::ostream &os) const;
+    void PrintDoxygen (std::ostream &os) const;
     void AddUnique (std::string path, 
                     const TraceContext &context,
                     const TraceDoc &doc);