Remove public option wrappers (#6716)

[cvc5.git] / src / main / time_limit.cpp

diff --git a/src/main/time_limit.cpp b/src/main/time_limit.cpp
index c0fc6846aa82431ef1447fd24c3b3f7b4711f68c..28a0087bb996f4ff078b2d30b34ef5577e527aeb 100644 (file)
--- a/src/main/time_limit.cpp
+++ b/src/main/time_limit.cpp
@@ -56,7 +56,7 @@
 #include <cstring>
 
 #include "base/exception.h"
-#include "options/options_public.h"
+#include "options/base_options.h"
 #include "signal_handlers.h"
 
 namespace cvc5 {
@@ -80,7 +80,7 @@ TimeLimit::~TimeLimit()
 
 TimeLimit install_time_limit(const Options& opts)
 {
-  unsigned long ms = options::getCumulativeTimeLimit(opts);
+  uint64_t ms = opts.base.cumulativeMillisecondLimit;
   // Skip if no time limit shall be set.
   if (ms == 0) {
     return TimeLimit();