Index: trunk/FACT++/src/Readline.h
===================================================================
--- trunk/FACT++/src/Readline.h	(revision 15103)
+++ trunk/FACT++/src/Readline.h	(revision 15104)
@@ -112,4 +112,5 @@
     static bool  IsScriptStopped() { return fStopScript; }
     static int   GetScriptDepth() { return fScriptDepth; }
+    static void  SetScriptDepth(unsigned int d) { fScriptDepth=d; }
     static void  SetExternalInput(const std::string &inp) { fExternalInput = inp; }