Put logger Builder at the top

gskorokhod · Apr 2, 2024 · 573aeef · 573aeef
1 parent 304c038
commit 573aeef
Showing 1 changed file with 5 additions and 6 deletions.
diff --git a/conjure_oxide/src/main.rs b/conjure_oxide/src/main.rs
@@ -91,12 +91,6 @@ pub fn main() -> AnyhowResult<()> {
                 .open(pth)?,
         ),
     };
-
-    if target_family != SolverFamily::Minion {
-        log::error!("Only the Minion solver is currently supported!");
-        exit(1);
-    }
-
     #[allow(clippy::unwrap_used)]
     let log_file = File::options()
         .create(true)
@@ -108,6 +102,11 @@ pub fn main() -> AnyhowResult<()> {
         .with_target_writer("file", new_writer(log_file))
         .init();
 
+    if target_family != SolverFamily::Minion {
+        log::error!("Only the Minion solver is currently supported!");
+        exit(1);
+    }
+
     let rule_sets = match resolve_rule_sets(target_family, &extra_rule_sets) {
         Ok(rs) => rs,
         Err(e) => {