diff options
author | gatecat <gatecat@ds0.me> | 2021-02-08 17:03:22 +0000 |
---|---|---|
committer | gatecat <gatecat@ds0.me> | 2021-02-08 17:03:22 +0000 |
commit | 2932dc3985181afbf88a87e58ee27dfcca433625 (patch) | |
tree | 89ff8c5ccb54e080d4a7f35f8217c9078c2fc440 | |
parent | 697c4fd08b0f7d8acbd0bd8900e626c77f825378 (diff) | |
download | nextpnr-2932dc3985181afbf88a87e58ee27dfcca433625.tar.gz nextpnr-2932dc3985181afbf88a87e58ee27dfcca433625.tar.bz2 nextpnr-2932dc3985181afbf88a87e58ee27dfcca433625.zip |
Make BaseCtx destructor virtual
Signed-off-by: gatecat <gatecat@ds0.me>
-rw-r--r-- | common/nextpnr.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/common/nextpnr.h b/common/nextpnr.h index 58bff892..2ecbaf0e 100644 --- a/common/nextpnr.h +++ b/common/nextpnr.h @@ -858,7 +858,7 @@ struct BaseCtx constraintObjects.push_back(wildcard); } - ~BaseCtx() + virtual ~BaseCtx() { delete idstring_str_to_idx; delete idstring_idx_to_str; |