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.
---
 Makefile.dune | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile.dune')

diff --git a/Makefile.dune b/Makefile.dune
index d201d1783a..11a31b174d 100644
--- a/Makefile.dune
+++ b/Makefile.dune
@@ -42,7 +42,7 @@ check: voboot
 
 COQTOP_FILES=ide/idetop.bc ide/coqide_main.bc checker/coqchk.bc
 PLUGIN_FILES=$(wildcard plugins/*/*.mlpack)
-PRINTER_FILES=dev/top_printers.cma dev/checker_printers.cma
+PRINTER_FILES=dev/top_printers.cma
 QUICKBYTE_TARGETS=$(COQTOP_FILES) $(PLUGIN_FILES:.mlpack=.cma) $(PRINTER_FILES) topbin/coqtop_byte_bin.bc
 QUICKOPT_TARGETS=$(COQTOP_FILES:.bc=.exe) $(PLUGIN_FILES:.mlpack=.cmxa) $(PRINTER_FILES:.cma=.cmxa) topbin/coqtop_bin.exe
 
-- 
cgit v1.2.3