Rename Settings struct to setings

1 files changed, 5 insertions, 5 deletions

diff --git a/src/configure.cc b/src/configure.cc
index 42d9951..40f4d27 100644
--- a/src/configure.cc
+++ b/src/configure.cc
@@ -172,7 +172,7 @@ public:
 // helper constant for the visitor
 template<class> inline constexpr bool always_false_v = false;
 
-int regenerateCache(Settings& settings,
+int regenerateCache(ctor::settings& settings,
                     const std::vector<std::string>& args,
                     const std::map<std::string, std::string>& env)
 {
@@ -544,9 +544,9 @@ int regenerateCache(Settings& settings,
 	return 0;
 }
 
-int configure(const Settings& global_settings, int argc, char* argv[])
+int configure(const ctor::settings& global_settings, int argc, char* argv[])
 {
-	Settings settings{global_settings};
+	ctor::settings settings{global_settings};
 
 	std::vector<std::string> args;
 	for(int i = 2; i < argc; ++i) // skip command and the first 'configure' arg
@@ -590,9 +590,9 @@ int configure(const Settings& global_settings, int argc, char* argv[])
 	return 0;
 }
 
-int reconfigure(const Settings& global_settings, int argc, char* argv[])
+int reconfigure(const ctor::settings& global_settings, int argc, char* argv[])
 {
-	Settings settings{global_settings};
+	ctor::settings settings{global_settings};
 
 	bool no_rerun{false};