Index: trunk/FACT++/src/Readline.cc
===================================================================
--- trunk/FACT++/src/Readline.cc	(revision 10867)
+++ trunk/FACT++/src/Readline.cc	(revision 10868)
@@ -1131,4 +1131,10 @@
 }
 
+// --------------------------------------------------------------------------
+//
+//! Stops the readline execution. It fakes the end of an editing by
+//! setting rl_done to 1. To distinguish this from a normal edit,
+//! rl_pending_input is set to EOT.
+//!
 void Readline::Stop()
 {