From 2fd50bf460a58bfa8ef43ee0f2fcd14dcd4fef1d Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Fri, 14 Jul 2017 21:45:39 +0100
Subject: [PATCH] fix(checker/checker): set the printing function

---
 src/checker/checker.cpp | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/src/checker/checker.cpp b/src/checker/checker.cpp
index 10c1515e37..d92dd6c591 100644
--- a/src/checker/checker.cpp
+++ b/src/checker/checker.cpp
@@ -110,6 +110,14 @@ int main(int argc, char ** argv) {
         }
     } initer;
 
+    set_print_fn([] (std::ostream & out, expr const & e) {
+        try {
+            out << simple_pp(environment(), e, lowlevel_notations());
+        } catch (throwable & e) {
+            out << "!!!" << e.what() << "!!!";
+        }
+    });
+
     try {
         std::ifstream in(argv[1]);
         if (!in) throw exception(sstream() << "file not found: " << argv[1]);