diff --git a/_CoqProject b/_CoqProject
index d90fb6ab6d0e3e1446f985916c89119d7d7301b2..6b8307ce75b457eebc72a4b1daf015b298d5bd52 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -57,6 +57,6 @@ stdpp/binders.v
 stdpp/ssreflect.v
 
 stdpp_bitvector/bitvector.v
-stdpp_bitvector/bitvector_tactics.v
+stdpp_bitvector/tactics.v
 
 stdpp_unstable/bitblast.v
diff --git a/stdpp_bitvector/bitvector_tactics.v b/stdpp_bitvector/tactics.v
similarity index 100%
rename from stdpp_bitvector/bitvector_tactics.v
rename to stdpp_bitvector/tactics.v
diff --git a/tests/bitvector_tactics.v b/tests/bitvector_tactics.v
index 7046d7629953d28ae0565af97407ddc914900e1b..027b347b9bde41b18f0c47ae5a3b343cc9fcc8d7 100644
--- a/tests/bitvector_tactics.v
+++ b/tests/bitvector_tactics.v
@@ -1,5 +1,5 @@
 From stdpp Require Import strings.
-From stdpp.bitvector Require Import bitvector_tactics.
+From stdpp.bitvector Require Import tactics.
 From stdpp.unstable Require Import bitblast.
 Unset Mangle Names.