Fmt

tirix · Nov 12, 2023 · bf8f09b · bf8f09b
1 parent 80d7f04
commit bf8f09b
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/src/statement.rs b/src/statement.rs
@@ -139,12 +139,10 @@ impl ExpressionRenderer {
         &self,
         formula: &Formula,
         database: &Database,
-        use_provables: bool,
+        #[allow(unused_variables)] use_provables: bool,
     ) -> Result<String, String> {
         match self {
-            ExpressionRenderer::Ascii => {
-                Ok(format!("<pre>{}</pre>", formula.as_ref(database)))
-            }
+            ExpressionRenderer::Ascii => Ok(format!("<pre>{}</pre>", formula.as_ref(database))),
             ExpressionRenderer::Unicode(uni) => uni.render_formula(formula),
             #[cfg(feature = "sts")]
             ExpressionRenderer::Sts(sts) => sts.render_formula(formula, use_provables),