From bc52979e3956a06d246a948becc9630a9956369e Mon Sep 17 00:00:00 2001
From: Kakadu <Kakadu@pm.me>
Date: Sun, 25 Oct 2020 20:31:22 +0300
Subject: [PATCH] Disable pretty-printer in the compiler

Signed-off-by: Kakadu <Kakadu@pm.me>
---
 src/Pprinter.ml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/Pprinter.ml b/src/Pprinter.ml
index c54a0bc0c..dd9ca841a 100644
--- a/src/Pprinter.ml
+++ b/src/Pprinter.ml
@@ -1,3 +1,4 @@
+(*
 open Language
 
 class pp_pattern fself = object
@@ -192,3 +193,6 @@ let pp ppf ast =
   Format.set_margin margin;
   Format.set_max_indent 15;
   Format.printf "%a\n%!" pp ast
+*)
+
+let pp: Format.formatter -> _ -> unit = fun _ _ -> failwith "Pretty printer is not implemented"