18 lines
521 B
Diff
18 lines
521 B
Diff
|
Fixes this error:
|
|||
|
|
|
|||
|
|
pplite_poly.cc: In destructor ‘pplite::apron::pplite_internal::~pplite_internal()’:
|
|||
|
|
pplite_poly.cc:46:7: error: ‘flint_cleanup’ was not declared in this scope
|
|||
|
|
46 | flint_cleanup();
|
|||
|
|
| ^~~~~~~~~~~~~
|
|||
|
|
|
|||
|
|
--- pplite/pplite_poly.cc.orig 2024-06-07 09:36:08.000000000 -0600
|
|||
|
|
+++ pplite/pplite_poly.cc 2024-06-13 08:21:55.536500683 -0600
|
|||
|
|
@@ -18,6 +18,7 @@
|
|||
|
|
#include "ap_pplite.h"
|
|||
|
|
#include "pplite_user.hh"
|
|||
|
|
#include "pplite_poly.hh"
|
|||
|
|
+#include <flint/flint.h>
|
|||
|
|
|
|||
|
|
#include <cassert>
|
|||
|
|
|