1 files changed, 0 insertions, 19 deletions
diff --git a/src/pprint.cpp b/src/pprint.cpp
index ff19331..2a8a62d 100644
--- a/src/pprint.cpp
+++ b/src/pprint.cpp
@@ -194,25 +194,6 @@ print_to(ostream& out, const AST* ast, unsigned indent, CEnv* cenv, bool types)
 		} else if (form == "if") {
 			print_list(out, tup, i, indent + 4, cenv, types, true);
 
-		} else if (form == "let") {
-			out << "(";
-			const ATuple* vars = (*i)->as_tuple();
-			for (ATuple::const_iterator v = vars->begin(); v != vars->end();) {
-				out << (*v);
-				print_annotation(out, *v, indent, cenv, types);
-
-				out << " " << (*++v);
-
-				if (++v != vars->end())
-					newline(out, indent + 6);
-				else
-					out << ")";
-			}
-			newline(out, indent + 2);
-			print_list(out, tup, tup->iter_at(2), indent + 2, cenv, false, false);
-			out << ")";
-			//print_annotation(out, tup->list_last(), indent, cenv, types);
-
 		} else if (form == "match") {
 			out << (*i++);
 			newline(out, indent + 2);