Use references instead of getter functions (#6597)

[cvc5.git] / src / options / options_template.cpp

diff --git a/src/options/options_template.cpp b/src/options/options_template.cpp
index 9419e9914abf147d2246369a0f6221f52a5e232d..26e11a6701f34fb2dc3291d97509a9ba3ad3dd5d 100644 (file)
--- a/src/options/options_template.cpp
+++ b/src/options/options_template.cpp
@@ -225,6 +225,7 @@ Options::Options(OptionsListener* ol)
     : d_handler(new options::OptionsHandler(this)),
 // clang-format off
 ${holder_mem_inits}$
+${holder_ref_inits}$
 // clang-format on
       d_olisten(ol)
 {}
@@ -241,8 +242,6 @@ ${holder_mem_copy}$
   }
 }
 
-${holder_getter_impl}$
-
 std::string Options::formatThreadOptionException(const std::string& option) {
   std::stringstream ss;
   ss << "can't understand option `" << option
@@ -395,7 +394,7 @@ std::vector<std::string> Options::parseOptions(Options* options,
   if(x != NULL) {
     progName = x + 1;
   }
-  options->base().binary_name = std::string(progName);
+  options->base.binary_name = std::string(progName);
 
   std::vector<std::string> nonoptions;
   options->parseOptionsRecursive(argc, argv, &nonoptions);