lint: Batsat added as valid ident

chrjabs · Jul 4, 2024 · adbe43e · adbe43e
1 parent 80db5aa
commit adbe43e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/clippy.toml b/clippy.toml
@@ -1,2 +1,2 @@
-doc-valid-idents = ["RustSAT", "CaDiCaL", "MaxSAT", ".."]
+doc-valid-idents = ["RustSAT", "CaDiCaL", "MaxSAT", "..", "BatSat"]
 avoid-breaking-exported-api = false