Fix formatting

ufmg-smite · Aug 13, 2024 · c38f453 · c38f453
1 parent f3bb55d
commit c38f453
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/carcara/src/checker/rules/subproof.rs b/carcara/src/checker/rules/subproof.rs
@@ -1,6 +1,6 @@
 use super::{
-    assert_clause_len, assert_eq, assert_polyeq, assert_is_expected, assert_num_premises, get_premise_term,
-    CheckerError, EqualityError, RuleArgs, RuleResult,
+    assert_clause_len, assert_eq, assert_is_expected, assert_num_premises, assert_polyeq,
+    get_premise_term, CheckerError, EqualityError, RuleArgs, RuleResult,
 };
 use crate::{ast::*, checker::error::SubproofError};
 use indexmap::{IndexMap, IndexSet};