Use references instead of getter functions (#6597)

This PR follows a suggestions of @ajreynol to use public references instead of getter functions to access the individual option modules.

1 files changed, 7 insertions, 7 deletions

diff --git a/src/options/options_handler.cpp b/src/options/options_handler.cpp
index b80e5a3b8..a6ddbec1e 100644
--- a/src/options/options_handler.cpp
+++ b/src/options/options_handler.cpp
@@ -83,7 +83,7 @@ unsigned long OptionsHandler::limitHandler(std::string option,
 
 void OptionsHandler::setResourceWeight(std::string option, std::string optarg)
 {
-  d_options->resman().resourceWeightHolder.emplace_back(optarg);
+  d_options->resman.resourceWeightHolder.emplace_back(optarg);
 }
 
 // theory/quantifiers/options_handlers.h
@@ -258,24 +258,24 @@ void OptionsHandler::setStats(const std::string& option, bool value)
   {
     if (option == options::base::statisticsAll__name)
     {
-      d_options->base().statistics = true;
+      d_options->base.statistics = true;
     }
     else if (option == options::base::statisticsEveryQuery__name)
     {
-      d_options->base().statistics = true;
+      d_options->base.statistics = true;
     }
     else if (option == options::base::statisticsExpert__name)
     {
-      d_options->base().statistics = true;
+      d_options->base.statistics = true;
     }
   }
   else
   {
     if (option == options::base::statistics__name)
     {
-      d_options->base().statisticsAll = false;
-      d_options->base().statisticsEveryQuery = false;
-      d_options->base().statisticsExpert = false;
+      d_options->base.statisticsAll = false;
+      d_options->base.statisticsEveryQuery = false;
+      d_options->base.statisticsExpert = false;
     }
   }
 }