Make unique IDs

2012-06-15 03:52:50 +00:00 · 2012-06-15 03:52:50 +00:00 · 82482e61fc
parent 06ed537091
commit 82482e61fc
1 changed files with 0 additions and 1 deletions
--- a/gtsam_unstable/base/Dummy.h
+++ b/gtsam_unstable/base/Dummy.h
@ -28,7 +28,6 @@ namespace gtsam {
    }
    ~Dummy() {
      std::cout << "Dummy destructor " << id << std::endl;
-      gDummyCount--;
    }
    void print(const std::string& s="") const {
      std::cout << s << "Dummy " << id << std::endl;