From f90e6f9ae77ff06ae0f93b3ad0863164b01b4e00 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Tue, 13 Jan 2015 12:24:17 -0800
Subject: [PATCH] chore(doc/todo): update

---
 doc/todo.md | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/doc/todo.md b/doc/todo.md
index 788c7c019..8d5929b96 100644
--- a/doc/todo.md
+++ b/doc/todo.md
@@ -1,7 +1,6 @@
 To Do List
 ----------
 
-- Improved pretty printer.
 - Generic Tableaux prover.
 - [MCSat](http://leodemoura.github.io/files/fmcad2013.pdf) framework.
-- Independent type checker using a different programming language (e.g., F* or OCaml).
+- Independent type checker using a different programming language (e.g., LISP/Scheme, F* or OCaml).