diff options
Diffstat (limited to '')
| -rw-r--r-- | m0/mutator_aux.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/m0/mutator_aux.h b/m0/mutator_aux.h index 9f22a5a..0067335 100644 --- a/m0/mutator_aux.h +++ b/m0/mutator_aux.h @@ -58,6 +58,8 @@ bool IsTheMatchInMainFile(bool MainFileFlag, const SourceManager &SM, SourceLoca bool IsTheMatchInMainFile(bool MainFileFlag, bool MainFile, SourceLocation SL); bool IsTheMatchInMainFile(bool MainFileFlag, bool MainFile); /*********************************************************************************************************************/ +std::vector<std::string> action_file_parser (int argc, const char** argv, std::string file_path); +/*********************************************************************************************************************/ /*end of namespace Devi*/ } #endif |