refactor: remove unused argument in function

src/main.cpp

@@ -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;