From 8cc92e0730e39967eaf476fdd49955505004aeff Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 2 Jun 2019 19:23:04 -0700
Subject: [PATCH] remove stale file

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 todo.txt | 9 ---------
 1 file changed, 9 deletions(-)
 delete mode 100644 todo.txt

diff --git a/todo.txt b/todo.txt
deleted file mode 100644
index 82038c3b4..000000000
--- a/todo.txt
+++ /dev/null
@@ -1,9 +0,0 @@
-- consolidate virtual-solver and pool solver
-
-- fixup mbp/mbi
-
-- API additions to expose functionality
-
-- Equality solver
-
-- Generalizer index
\ No newline at end of file