diff options
Diffstat (limited to 'src/rt')
| -rw-r--r-- | src/rt/rust_internal.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/rt/rust_internal.h b/src/rt/rust_internal.h index 529fd3d7..bc5835fe 100644 --- a/src/rt/rust_internal.h +++ b/src/rt/rust_internal.h @@ -95,6 +95,9 @@ template <typename T> struct dom_owned { + rust_dom *get_dom() const { + return ((T*)this)->dom; + } void operator delete(void *ptr) { ((T *)ptr)->dom->free(ptr); } @@ -104,6 +107,9 @@ template <typename T> struct task_owned { + rust_dom *get_dom() const { + return ((T *)this)->task->dom; + } void operator delete(void *ptr) { ((T *)ptr)->task->dom->free(ptr); } |