[Pkg-ocaml-maint-commits] [aac-tactics] 04/06: New upstream version 8.6.1

[Enrico Tassi]

This is an automated email from the git hooks/post-receive script.

gareuselesinge pushed a commit to branch master
in repository aac-tactics.

commit 76f9b4cdc5693a6313961e2f91b39ba311857e72
Author: Enrico Tassi <gareuselesinge at debian.org>
Date:   Wed Dec 28 13:43:01 2016 +0000

    New upstream version 8.6.1
---
 Make                           | 4 ++--
 aac.mlpack                     | 2 +-
 rewrite.ml4 => aac_rewrite.ml4 | 0
 rewrite.mli => aac_rewrite.mli | 0
 4 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/Make b/Make
index ec45b23..3804332 100644
--- a/Make
+++ b/Make
@@ -7,14 +7,14 @@ search_monad.mli
 matcher.mli
 theory.mli
 print.mli
-rewrite.mli
+aac_rewrite.mli
 coq.ml
 helper.ml
 search_monad.ml
 matcher.ml
 theory.ml
 print.ml
-rewrite.ml4
+aac_rewrite.ml4
 aac.mlpack
 
 AAC.v
diff --git a/aac.mlpack b/aac.mlpack
index 0c12567..80cb22c 100644
--- a/aac.mlpack
+++ b/aac.mlpack
@@ -4,4 +4,4 @@ Search_monad
 Matcher
 Theory
 Print
-Rewrite
+Aac_rewrite
diff --git a/rewrite.ml4 b/aac_rewrite.ml4
similarity index 100%
rename from rewrite.ml4
rename to aac_rewrite.ml4
diff --git a/rewrite.mli b/aac_rewrite.mli
similarity index 100%
rename from rewrite.mli
rename to aac_rewrite.mli

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/aac-tactics.git