save/restore issue added

diff --git a/TODO.txt b/TODO.txt
index 5d068573f235d562bf097bad12fbdb3ea773f158..76557a362afe72ba6f93972c21e776ef635ecd72 100644 (file)
--- a/TODO.txt
+++ b/TODO.txt
@@ -6,6 +6,7 @@
    - BUG: pari + 72 non fa 4x ma attualmente fa 3x, da correggere
    - BUG: some connection to the named socket fails
    - log_legal address fix
+   - save/restore database
 
 
   MINOR |