From 76f9b4cdc5693a6313961e2f91b39ba311857e72 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <gareuselesinge@debian.org>
Date: Wed, 28 Dec 2016 13:43:01 +0000
Subject: New upstream version 8.6.1

---
 Make | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Make')

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
-- 
cgit v1.2.3