From a7522a0ea76a6efaed9342d08a95363b56d88d32 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Thu, 8 Nov 2018 15:01:24 +0100
Subject: Remove checker printers

Now that the checker is using the regular kernel files it can also use
the normal printers.
---
 dev/dune | 11 +----------
 1 file changed, 1 insertion(+), 10 deletions(-)

(limited to 'dev/dune')

diff --git a/dev/dune b/dev/dune
index fd6c8cf32c..bfa2d525c9 100644
--- a/dev/dune
+++ b/dev/dune
@@ -3,18 +3,9 @@
  (public_name coq.top_printers)
  (synopsis "Coq's Debug Printers")
  (wrapped false)
- (modules :standard \ checker_printers)
+ (modules :standard)
  (libraries coq.toplevel coq.plugins.ltac))
 
-(library
- (name checker_printers)
- (public_name coq.checker_printers)
- (synopsis "Coq's Debug Printers [for the Checker]")
- (wrapped false)
- (flags :standard -open Checklib)
- (modules checker_printers)
- (libraries coq.checklib))
-
 (rule
   (targets dune-dbg)
   (deps dune-dbg.in
-- 
cgit v1.2.3