diff options
Diffstat (limited to 'elaborate.cxx')
-rw-r--r-- | elaborate.cxx | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/elaborate.cxx b/elaborate.cxx index c2e57856..04eb1fa2 100644 --- a/elaborate.cxx +++ b/elaborate.cxx @@ -41,6 +41,7 @@ derived_probe::derived_probe (probe *p): { this->locations = p->locations; this->tok = p->tok; + this->privileged = p->privileged; this->body = deep_copy_visitor::deep_copy(p->body); } } @@ -55,6 +56,7 @@ derived_probe::derived_probe (probe *p, probe_point *l): if (p) { this->tok = p->tok; + this->privileged = p->privileged; this->body = deep_copy_visitor::deep_copy(p->body); } } |