diff --git a/src/todo.txt b/src/todo.txt index 9b3b48e..03c0c89 100644 --- a/src/todo.txt +++ b/src/todo.txt @@ -3,3 +3,4 @@ goal selection might ignore that goal then, for further selection. - Maybe it helps to fix the agents of the claim run (i.e. all different agents?, this restricts the attacks somewhat), make a switch for this. +- SConstruct file should check whether ctags actually exists (avoiding errors)