aports/testing/ppl/gcc13.patch
2023-05-15 16:51:49 +02:00

12 lines
340 B
Diff

diff --git a/src/ppl-config.cc.in b/src/ppl-config.cc.in
index ffaf352..954a5fe 100644
--- a/src/ppl-config.cc.in
+++ b/src/ppl-config.cc.in
@@ -33,6 +33,7 @@ namespace PPL = Parma_Polyhedra_Library;
#error "PPL version 0.8 or following is required"
#endif
+#include <cassert>
#include <cstdarg>
#include <cstring>
#include <cctype>