diff --git a/src/bisect.exclude b/src/bisect.exclude
index 154c460e..e1b3721e 100644
--- a/src/bisect.exclude
+++ b/src/bisect.exclude
@@ -1,3 +1,4 @@
-file "src/colibri2_mappings.ml"
+file "src/altergo_mappings.ml"
 file "src/bitwuzla_mappings.ml"
+file "src/colibri2_mappings.ml"
 file "src/cvc5_mappings.ml"