Dear tntnet maintainer,
while cxxtools is fixed now, there's a small issue left with the headers
provided by tntnet.
I've attached a patch to be added to the Quilt patch queue which fixes this.
Please let me know, if you want me to do a NMU.
Thx,
Tobias
Index: tntnet-2.0+dfsg1/framework/common/tnt/object.h
===================================================================
--- tntnet-2.0+dfsg1.orig/framework/common/tnt/object.h 2010-03-14 12:26:35.000000000 +0100
+++ tntnet-2.0+dfsg1/framework/common/tnt/object.h 2012-04-20 19:57:18.958709535 +0200
@@ -57,9 +57,9 @@
: ptr(ptr_)
{ }
~PointerObject()
- { destroy(ptr); }
+ { this->destroy(ptr); }
void set(data_type* ptr_)
- { destroy(ptr); ptr = ptr_; }
+ { this->destroy(ptr); ptr = ptr_; }
data_type* get() { return ptr; }
};