From d4172d2c7a48d932b42248fe57c6c2a87ac57e30 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Wed, 25 Oct 2017 12:13:27 +0200
Subject: Stubs for goal matching: quotation and matching function.

---
 _CoqProject | 2 ++
 1 file changed, 2 insertions(+)

(limited to '_CoqProject')

diff --git a/_CoqProject b/_CoqProject
index 43e9b76991..df8cb00b76 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -21,6 +21,8 @@ src/tac2ffi.mli
 src/tac2qexpr.mli
 src/tac2quote.ml
 src/tac2quote.mli
+src/tac2match.ml
+src/tac2match.mli
 src/tac2core.ml
 src/tac2core.mli
 src/tac2tactics.ml
-- 
cgit v1.2.3