Merge branch 'topic/71-kanig-colibri' into 'master'

Add remove_unused transform to colibri driver Issue: eng/spark/spark2014#71 See merge request eng/spark/why3!69
AdaCore · Oct 17, 2024 · 2ab57e2 · 2ab57e2
2 parents c0d2720 + bfad32e
commit 2ab57e2
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/drivers/colibri.drv b/drivers/colibri.drv
@@ -56,6 +56,7 @@ transformation "compile_match"
 transformation "inline_trivial"
 transformation "simplify_formula"
 transformation "eliminate_builtin"
+transformation "remove_unused"
 transformation "eliminate_recursion"
 transformation "eliminate_inductive"
 transformation "eliminate_gnatprove_guard_epsilon"