--- a/pointer.h Sat Mar 16 15:45:20 2013 +0200
+++ b/pointer.h Sat Mar 16 16:59:16 2013 +0200
@@ -24,6 +24,7 @@
void serialize ();
void unSerialize ();
static void replacePointers (LDObject* old, LDObject* repl);
+ static void deleteObj (LDObject*);
LDObject& operator* () {
return *ptr;