diff options
Diffstat (limited to 'src/prop/cryptominisat/TODO')
| -rw-r--r-- | src/prop/cryptominisat/TODO | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/prop/cryptominisat/TODO b/src/prop/cryptominisat/TODO deleted file mode 100644 index 7c976fa3a..000000000 --- a/src/prop/cryptominisat/TODO +++ /dev/null @@ -1,3 +0,0 @@ -* Report all bugs, please using Gforge: https://gforge.inria.fr/tracker/?group_id=1992 -* Make it more C++. There are plenty of areas where this would help -* Get rid of Vec.h and other STL-like classes |