ZKR-1016-Code-Clean-Up (#27)

quantstamp · Jun 20, 2023 · 25b85d1 · 25b85d1
1 parent e1501f3
commit 25b85d1
Showing 1 changed file with 1 addition and 10 deletions.
diff --git a/korrekt/src/smt_solver/smt.rs b/korrekt/src/smt_solver/smt.rs
@@ -11,16 +11,7 @@ pub struct Printer<'a, W: 'a> {
 }
 
 fn get_logic_string() -> String {
-    let ff = true;
-    let bv = false;
-    let nia = false;
-
-    format!(
-        "QF_{}{}{}",
-        if bv { "BV" } else { "" },
-        if ff { "FF" } else { "" },
-        if nia { "NIA" } else { "" },
-    )
+    String::from("QF_FF")
 }
 
 impl<'a, W: 'a + Write> Printer<'a, W> {