diff options
Diffstat (limited to 'SA_POP/WorkingPlan.h')
| -rw-r--r-- | SA_POP/WorkingPlan.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/SA_POP/WorkingPlan.h b/SA_POP/WorkingPlan.h index 31f19c14a27..1e10a977a11 100644 --- a/SA_POP/WorkingPlan.h +++ b/SA_POP/WorkingPlan.h @@ -196,7 +196,7 @@ namespace SA_POP { virtual void generate_all_threats(void) = 0; - virtual InstToTaskMap get_task_insts(void) = 0; + virtual InstToTaskMap & get_task_insts(void) = 0; protected: /// Pointer to Planner object. |