Index: /trunk/FACT++/src/Readline.cc
===================================================================
--- /trunk/FACT++/src/Readline.cc	(revision 10484)
+++ /trunk/FACT++/src/Readline.cc	(revision 10485)
@@ -522,5 +522,5 @@
         const HIST_ENTRY *e = history_get(p+1);
         if (e && str==e->line)
-            delete remove_history(p);
+            free(remove_history(p));
     }