OCC20196 Problem with DRAW commands that use pick as arguments.

diff --git a/src/WOKTclTools/WOKTclTools_Interpretor_proto.hxx b/src/WOKTclTools/WOKTclTools_Interpretor_proto.hxx
index a592212fcbec7283e3e8e213210fa95f2b24e1f8..d8de65b38835aa578b53bcd0843e6e2dbe021659 100755 (executable)
--- a/src/WOKTclTools/WOKTclTools_Interpretor_proto.hxx
+++ b/src/WOKTclTools/WOKTclTools_Interpretor_proto.hxx
@@ -40,7 +40,7 @@ public:
   Standard_EXPORT   void Append(const Standard_CString Result) ;
   Standard_EXPORT   void Append(const Standard_Integer Result) ;
   Standard_EXPORT   void Append(const Standard_Real Result) ;
-  Standard_EXPORT   void AppendElement(const Standard_CString Result) ;
+  Standard_EXPORT   void AppendElement(Standard_CString Result) ;
   Standard_EXPORT   Standard_Integer Eval(const Standard_CString Script) ;
   Standard_EXPORT   Standard_Integer RecordAndEval(const Standard_CString Script,const Standard_Integer Flags = 0) ;
   Standard_EXPORT   Standard_Integer EvalFile(const Standard_CString FileName) ;