michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(kernel/printer): bug when printing let expression

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2013-10-24 18:05:23 -07:00
parent e55fb4f165
commit ca6a6d71e5
1 changed files with 4 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/kernel/printer.cpp
View file

@ -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 ";