inline dot_it()

2016-11-11 08:45:57 +01:00 · 2016-11-11 08:45:57 +01:00 · 22a4af1cd0
parent 6b151ef5dc
commit 22a4af1cd0
1 changed files with 1 additions and 1 deletions
--- a/Profiling_tools/include/CGAL/Profile_counter.h
+++ b/Profiling_tools/include/CGAL/Profile_counter.h
@ -84,7 +84,7 @@ namespace CGAL {
      }
    };

-    std::string dot_it(int i)
+    inline std::string dot_it(int i)
    {
      std::stringstream ss;
      dotted::imbue(ss);