From ca6a6d71e51f61715a87cfc14d2ad1110aa9da89 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Thu, 24 Oct 2013 18:05:23 -0700
Subject: [PATCH] fix(kernel/printer): bug when printing let expression

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/kernel/printer.cpp | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/src/kernel/printer.cpp b/src/kernel/printer.cpp
index 9994fc812..528a5b219 100644
--- a/src/kernel/printer.cpp
+++ b/src/kernel/printer.cpp
@@ -136,8 +136,10 @@ struct print_expr_fn {
             break;
         case expr_kind::Let:
             out() << "let " << let_name(a);
-            if (let_type(a))
-                out() << " : " << let_type(a);
+            if (let_type(a)) {
+                out() << " : ";
+                print(let_type(a), c);
+            }
             out() << " := ";
             print(let_value(a), c);
             out() << " in ";