Fix formatting for Pi("_", _, _)

1 files changed, 5 insertions, 0 deletions

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)?;