From 02e50d0bd18f5fa2f173bb6ecc36da5c316ecaa1 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Wed, 10 Oct 2018 10:14:08 -0400
Subject: Rename [normalize_commutative_identifier] file to match tactic name

---
 _CoqProject | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to '_CoqProject')

diff --git a/_CoqProject b/_CoqProject
index 9f814f84c..70fca8fd2 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -6585,13 +6585,13 @@ src/Util/Tactics/GetGoal.v
 src/Util/Tactics/Head.v
 src/Util/Tactics/HeadUnderBinders.v
 src/Util/Tactics/MoveLetIn.v
+src/Util/Tactics/NormalizeCommutativeIdentifier.v
 src/Util/Tactics/Not.v
 src/Util/Tactics/OnSubterms.v
 src/Util/Tactics/PoseTermWithName.v
 src/Util/Tactics/PrintContext.v
 src/Util/Tactics/Revert.v
 src/Util/Tactics/RewriteHyp.v
-src/Util/Tactics/RewriteWithCommutativity.v
 src/Util/Tactics/RunTacticAsConstr.v
 src/Util/Tactics/SetEvars.v
 src/Util/Tactics/SetoidSubst.v
-- 
cgit v1.2.3