bitvector.bitvector_tactics -> bitvector.tactics

_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

tests/bitvector_tactics.v

 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.