diff options
Diffstat (limited to 'lib/GMPString.cc')
| -rw-r--r-- | lib/GMPString.cc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/GMPString.cc b/lib/GMPString.cc index 5b2d1c6..be39e38 100644 --- a/lib/GMPString.cc +++ b/lib/GMPString.cc @@ -24,4 +24,7 @@ GMPString::operator String() const { return String(str); } +GMPString::~GMPString() { +} + #endif |