From 699b70cd9ad0d79cbde228bdb51fde224a3b524e Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>
Date: Wed, 14 Sep 2016 17:19:14 +0200
Subject: Moving Ltac-specific parsing API to ltac/ folder.

---
 parsing/highparsing.mllib | 1 -
 1 file changed, 1 deletion(-)

(limited to 'parsing/highparsing.mllib')

diff --git a/parsing/highparsing.mllib b/parsing/highparsing.mllib
index 8df519b56..05e2911c2 100644
--- a/parsing/highparsing.mllib
+++ b/parsing/highparsing.mllib
@@ -2,4 +2,3 @@ G_constr
 G_vernac
 G_prim
 G_proofs
-G_tactic
-- 
cgit v1.2.3