From 94f7c1e95239c1521f73a587120b4c946f2b883d Mon Sep 17 00:00:00 2001
From: Mateus Sanches Moura <msanches@iri.upc.edu>
Date: Thu, 4 Jul 2024 07:45:55 -0300
Subject: [PATCH] print() and check() from MapBase are now virtual

---
 include/core/map/map_base.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/include/core/map/map_base.h b/include/core/map/map_base.h
index ee3988f4c..7ad17289f 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;
-- 
GitLab