diff options
Diffstat (limited to 'Build/source/utils/asymptote/varinit.h')
-rw-r--r-- | Build/source/utils/asymptote/varinit.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/utils/asymptote/varinit.h b/Build/source/utils/asymptote/varinit.h index 721242dac29..55c47665945 100644 --- a/Build/source/utils/asymptote/varinit.h +++ b/Build/source/utils/asymptote/varinit.h @@ -61,7 +61,7 @@ public: arrayinit(position pos) : varinit(pos), rest(0) {} - virtual ~arrayinit() + virtual ~arrayinit() {} void prettyprint(ostream &out, Int indent); |