fix(apron_domain): adapt to new pplite 0.11 api

This fix is related to commit f04d015
seahorn · Jul 9, 2023 · 4b05236 · 4b05236
1 parent 26663e4
commit 4b05236
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/include/crab/domains/apron_domains.hpp b/include/crab/domains/apron_domains.hpp
@@ -1864,10 +1864,10 @@ class apron_domain final
 #ifdef HAVE_PPLITE
       assert(is_disjunctive(src_id));
       // src is a PolySet, dst is a (set of) polyhedron
-      auto num_disj = ap_pplite_poly_num_disjuncts(src_man, src_val);
+      auto num_disj = ap_pplite_abstract0_num_disjuncts(src_man, src_val);
       assert(num_disj > 0);
       for (auto d = 0; d < num_disj; ++d) {
-        auto lca = ap_pplite_poly_disj_to_lincons_array(src_man, src_val, d);
+        auto lca = ap_pplite_abstract0_disj_to_lincons_array(src_man, src_val, d);
         auto poly = ap_abstract0_of_lincons_array(dst_man, idim, rdim, &lca);
         ap_lincons0_array_clear(&lca);
         // First disjunct is assigned to dst_val, others are joined.