mirror of
https://codeberg.org/scip/pcp.git
synced 2025-12-17 12:00:56 +01:00
context fixes
This commit is contained in:
@@ -28,7 +28,7 @@ PcpContext::PcpContext() {
|
||||
ptx = ptx_new();
|
||||
}
|
||||
|
||||
PcpContext::~PcpContext() {
|
||||
void PcpContext::done() {
|
||||
ptx_clean(ptx);
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user