From da5bbda84bd22b87a6057175c9d4d2391808e294 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Thu, 6 Jun 2019 17:28:26 +0200
Subject: [api] [proof] Move `discharge` type to vernac_ast where it is used.

This seems like the right location, a bit more refactoring should be
possible.
---
 library/decl_kinds.ml | 2 --
 1 file changed, 2 deletions(-)

(limited to 'library')

diff --git a/library/decl_kinds.ml b/library/decl_kinds.ml
index 2735a9118e..6eb582baef 100644
--- a/library/decl_kinds.ml
+++ b/library/decl_kinds.ml
@@ -10,8 +10,6 @@
 
 (** Informal mathematical status of declarations *)
 
-type discharge = DoDischarge | NoDischarge
-
 type binding_kind = Explicit | Implicit
 
 type private_flag = bool
-- 
cgit v1.2.3