1.1 --- a/libmem/lib/src/flexpage.cc Fri May 27 00:38:27 2022 +0200
1.2 +++ b/libmem/lib/src/flexpage.cc Sat May 28 00:59:04 2022 +0200
1.3 @@ -19,14 +19,18 @@
1.4 * Boston, MA 02110-1301, USA
1.5 */
1.6
1.7 -#include <l4/re/c/dataspace.h>
1.8 -
1.9 #include <algorithm>
1.10
1.11 #include "flexpage.h"
1.12
1.13
1.14
1.15 +/* Virtual destructor required for introspection. */
1.16 +
1.17 +Flexpage::~Flexpage()
1.18 +{
1.19 +}
1.20 +
1.21 /* Reset the flexpage using 'offset', being the file offset. */
1.22
1.23 void Flexpage::reset(offset_t offset)