diff --git a/include/core/map/map_base.h b/include/core/map/map_base.h
index ee3988f4c3db13b390e57ddf0940c3a214793879..7ad17289fc10a45cfb09b46be74a0fb0c2da608e 100644
--- a/include/core/map/map_base.h
+++ b/include/core/map/map_base.h
@@ -125,7 +125,7 @@ class MapBase : public NodeBase, public std::enable_shared_from_this<MapBase>
                                  bool state_blocks,
                                  std::ostream& stream ,
                                  std::string _tabs = "") const;
-        void print(int depth, //
+        virtual void print(int depth, //
                    bool constr_by, //
                    bool metric, //
                    bool state_blocks,
@@ -133,7 +133,7 @@ class MapBase : public NodeBase, public std::enable_shared_from_this<MapBase>
                    std::string _tabs = "") const;
 
         virtual CheckLog localCheck(bool _verbose, MapBaseConstPtr _map_ptr, std::ostream& _stream, std::string _tabs = "") const;
-        bool check(CheckLog& _log, NodeBaseConstPtr _node_ptr, bool _verbose, std::ostream& _stream, std::string _tabs = "") const;
+        virtual bool check(CheckLog& _log, NodeBaseConstPtr _node_ptr, bool _verbose, std::ostream& _stream, std::string _tabs = "") const;
     
     private:
         std::string dateTimeNow() const;