From e335bf8da2f6b0d7465a4376191e0c9036d66189 Mon Sep 17 00:00:00 2001
From: NanoTech
Date: Fri, 9 Dec 2016 18:57:44 -0600
Subject: Fix formatting for Pi("_", _, _)

---
 src/core.rs | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'src/core.rs')

diff --git a/src/core.rs b/src/core.rs
index 5a521b5..a9de970 100644
--- a/src/core.rs
+++ b/src/core.rs
@@ -294,6 +294,11 @@ impl<'i, S, A: Display> Expr<'i, S, A> {
                 write!(f, " else ")?;
                 c.fmt_c(f)
             }
+            &Pi("_", ref b, ref c) => {
+                b.fmt_c(f)?;
+                write!(f, " → ")?;
+                c.fmt_b(f)
+            }
             &Pi(a, ref b, ref c) => {
                 write!(f, "∀({} : ", a)?;
                 b.fmt(f)?;
-- 
cgit v1.2.3