diff options
author | Clark Barrett <barrett@cs.nyu.edu> | 2010-03-13 01:57:01 +0000 |
---|---|---|
committer | Clark Barrett <barrett@cs.nyu.edu> | 2010-03-13 01:57:01 +0000 |
commit | 7eff5dfa38e016bb759a5daf5b0afef0a057eb47 (patch) | |
tree | fefe8fe44695328e580595fa7353049707672b56 /src/context/cdmap.h | |
parent | c8e9b1d6422b56476a2efb3fbaf19bce66de4c2b (diff) |
Fix for bug 45
Diffstat (limited to 'src/context/cdmap.h')
-rw-r--r-- | src/context/cdmap.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/context/cdmap.h b/src/context/cdmap.h index b1bb47c4c..460f917ff 100644 --- a/src/context/cdmap.h +++ b/src/context/cdmap.h @@ -101,7 +101,7 @@ public: } } - ~CDOmap() throw(AssertionException) {} + ~CDOmap() throw(AssertionException) { destroy(); } void set(const Data& data) { makeCurrent(); |