From 34aeda3d701efd5dead8890588fb02bcdb4980d2 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Wed, 17 Jun 2020 15:10:32 +0200
Subject: Merge Clenvtac into Clenv.

Having two different modules led to the availability of internal API in
the mli.
---
 proofs/proofs.mllib | 1 -
 1 file changed, 1 deletion(-)

(limited to 'proofs/proofs.mllib')

diff --git a/proofs/proofs.mllib b/proofs/proofs.mllib
index 756fef0511..790a9dd2cc 100644
--- a/proofs/proofs.mllib
+++ b/proofs/proofs.mllib
@@ -9,4 +9,3 @@ Proof_bullet
 Refiner
 Tacmach
 Clenv
-Clenvtac
-- 
cgit v1.2.3