Release 4.1.0.0 of smten and friends.

ruhler · Mar 19, 2014 · d8ea44a · d8ea44a
1 parent e1eb2c6
commit d8ea44a
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/doc/todo.txt b/doc/todo.txt
@@ -1,6 +1,3 @@
-Release::
-* smten-minisat tarball doesn't include all the code needed.
-
 Approx::
 * Getting rid of Unreachable_PartialF leads to blowup in sketch
     Why?