From 6c1e9be86aa9ad0082178af035e7d479527f8c97 Mon Sep 17 00:00:00 2001
From: Michael Sammler <noreply@sammler.me>
Date: Wed, 13 Mar 2024 08:49:33 +0100
Subject: [PATCH] bitvector.bitvector_tactics -> bitvector.tactics
---
_CoqProject | 2 +-
stdpp_bitvector/{bitvector_tactics.v => tactics.v} | 0
tests/bitvector_tactics.v | 2 +-
3 files changed, 2 insertions(+), 2 deletions(-)
rename stdpp_bitvector/{bitvector_tactics.v => tactics.v} (100%)
diff --git a/_CoqProject b/_CoqProject
index d90fb6ab..6b8307ce 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 7046d762..027b347b 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.
--
GitLab