Index: /trunk/FACT++/src/Readline.cc
===================================================================
--- /trunk/FACT++/src/Readline.cc	(revision 16915)
+++ /trunk/FACT++/src/Readline.cc	(revision 16916)
@@ -328,6 +328,16 @@
         rl_on_new_line();
 
+    if (rl_prompt==p)
+    {
+        Redisplay();
+        return;
+    }
+
     UpdatePrompt(p);
-    Redisplay();
+
+    int w, h;
+    rl_get_screen_size(&h, &w);
+    cout << '\r' << string(w+1, ' ') << '\r';
+    rl_forced_update_display();
 }