From 9a443917fd1f08321af9fbea62d03bc749b15c4f Mon Sep 17 00:00:00 2001
From: Christian Valente <christian.valente@outlook.com>
Date: Tue, 20 Aug 2024 20:42:05 +0300
Subject: [PATCH] File missing from previous commit

---
 src/solver.cc | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/solver.cc b/src/solver.cc
index 588629890..57742ddc6 100644
--- a/src/solver.cc
+++ b/src/solver.cc
@@ -1068,7 +1068,7 @@ void BasicSolver::ParseOptionString(
   }
 }
 
-bool BasicSolver::ParseOptions(char **argv, unsigned flags, const ASLProblem *) {
+bool BasicSolver::ParseOptions(char **argv, unsigned flags, const ASLProblem *, char* additional_options) {
   has_errors_ = false;
   bool_options_ &= ~SHOW_VERSION;
   option_flag_save_ = flags;
@@ -1107,6 +1107,8 @@ bool BasicSolver::ParseOptions(char **argv, unsigned flags, const ASLProblem *)
       ParseOptionString(s, flags);
     }
   }
+  if (additional_options)
+      ParseOptionString(additional_options, 0);
   if ((bool_options_ & SHOW_VERSION) != 0)
     ShowVersion();
   return !has_errors_;