diff --git a/include/core/map/map_base.h b/include/core/map/map_base.h
index 8b925bdb482da600714a5452033f9d3cd1a96d69..650621ecccf2ef4907e6bfe02b13a789de59f520 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          factored_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, std::ostream& _stream, std::string _tabs = "") const;
-    bool             check(CheckLog& _log, bool _verbose, std::ostream& _stream, std::string _tabs = "") const;
+    virtual bool     check(CheckLog& _log, bool _verbose, std::ostream& _stream, std::string _tabs = "") const;
 };
 
 inline LandmarkBaseConstPtrList MapBase::getLandmarkList() const