From 417641e48129c9ba8656c622c9b64cd32641e7de Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Fri, 16 Nov 2018 20:16:41 +0100
Subject: [legacy proof engine] Remove some cruft.

We remove the `Proof_types` file which was a trivial stub, we also
cleanup a few layers of aliases.

This is not a lot but every little step helps.
---
 dev/base_include | 1 -
 1 file changed, 1 deletion(-)

(limited to 'dev/base_include')

diff --git a/dev/base_include b/dev/base_include
index 0e12b57b36..d2e8f6d092 100644
--- a/dev/base_include
+++ b/dev/base_include
@@ -135,7 +135,6 @@ open Pfedit
 open Proof
 open Proof_using
 open Proof_global
-open Proof_type
 open Redexpr
 open Refiner
 open Tacmach
-- 
cgit v1.2.3