From a5f2cb785649e2bb73b450262e2e54703ef526c4 Mon Sep 17 00:00:00 2001 From: Emilio Jesus Gallego Arias Date: Wed, 21 Feb 2018 04:09:23 +0100 Subject: [checker] Printer cleanup. Makes printing rules more explicit and should close #6799. --- checker/print.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'checker/print.mli') diff --git a/checker/print.mli b/checker/print.mli index 67562125f..da1362ca5 100644 --- a/checker/print.mli +++ b/checker/print.mli @@ -10,4 +10,4 @@ open Cic -val print_pure_constr : constr -> unit +val print_pure_constr : Format.formatter -> constr -> unit -- cgit v1.2.3