diff options
| author | Tim King <taking@cs.nyu.edu> | 2018-01-17 12:16:17 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-01-17 12:16:17 -0800 |
| commit | 248b977790b429ebfd22481462193e3e35c57ce2 (patch) | |
| tree | 9a59a408d113d6a3347f013c2492291769406e82 /src/theory/example | |
| parent | 4538f5fe95758f2507c191ab39175491f24e6f67 (diff) | |
Removes yet more throw specifiers. Updating the documentation as needed. (#1518)
Diffstat (limited to 'src/theory/example')
| -rw-r--r-- | src/theory/example/ecdata.h | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/theory/example/ecdata.h b/src/theory/example/ecdata.h index 475d0e615..9c93f4710 100644 --- a/src/theory/example/ecdata.h +++ b/src/theory/example/ecdata.h @@ -74,8 +74,7 @@ struct Link { return pCMM->newData(size); } -private: - + private: /** * The destructor isn't actually defined. This declaration keeps * the compiler from creating (wastefully) a default definition, and @@ -84,7 +83,7 @@ private: * be allocated in a ContextMemoryManager, which doesn't call * destructors. */ - ~Link() throw(); + ~Link(); /** * Just like the destructor, this is not defined. This ensures no |