Index: /issm/trunk/src/c/objects/Options/Option.h
===================================================================
--- /issm/trunk/src/c/objects/Options/Option.h	(revision 7824)
+++ /issm/trunk/src/c/objects/Options/Option.h	(revision 7825)
@@ -28,7 +28,7 @@
 		/*}}}*/
 		/*Object virtual functions definitions:{{{1*/
-		void  Echo();
-		void  DeepEcho();
-		void  DeepEcho(char* indent);
+		virtual void  Echo();
+		virtual void  DeepEcho();
+		virtual void  DeepEcho(char* indent);
 		int   Id(){_error_("Not implemented yet");};
 		int   MyRank(){_error_("Not implemented yet");};