removed duplicated call to destroy

This commit is contained in:
joaquintides
2022-10-18 15:25:54 +02:00
parent ac2bc8d615
commit 2cb1d2bdf0

View File

@ -1169,7 +1169,6 @@ public:
} }
BOOST_CATCH(...){ BOOST_CATCH(...){
x.clear(); x.clear();
destroy();
BOOST_RETHROW BOOST_RETHROW
} }
BOOST_CATCH_END BOOST_CATCH_END