Skip to content
Snippets Groups Projects
Commit c34b4c76 authored by Jaime Arias's avatar Jaime Arias
Browse files

refactor: remove unused argument in function

parent 47e9c3fd
No related branches found
No related tags found
No related merge requests found
Pipeline #9285 passed with stage
......@@ -199,8 +199,7 @@ void FindObservableTransitions(net& model, map<int, int>& obs_trans,
*/
void ComputeAbstractPaths(const string& net_file, int bound,
const string& transitions_file,
const string& output_folder,
const bool save_sog = false) {
const string& output_folder) {
SOG sog;
Paths obs_paths;
Paths abstract_paths;
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment