diff options
Diffstat (limited to 'SA_POP/Planner.h')
| -rw-r--r-- | SA_POP/Planner.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/SA_POP/Planner.h b/SA_POP/Planner.h index ef85438a7d3..1c6cbc8ae3f 100644 --- a/SA_POP/Planner.h +++ b/SA_POP/Planner.h @@ -19,6 +19,7 @@ #include <string> #include <set> +#include <map> #include "SA_POP_Types.h" #include "PlanStrategy.h" #include "SchedStrategy.h" @@ -506,7 +507,7 @@ namespace SA_POP { * * @return nothing */ - virtual void print_graph (std::basic_ostream<char, std::char_traits<char> >& strm); + virtual void print_graph (std::basic_ostream<char, std::char_traits<char> >& strm, std::map<std::string, std::string>& graphmap); protected: |