fix formatting:

egraphs-good · Jan 1, 2024 · 9b97503 · 9b97503
1 parent e1fd843
commit 9b97503
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/src/extract/faster_ilp_cbc.rs b/src/extract/faster_ilp_cbc.rs
@@ -127,11 +127,12 @@ impl ClassILP {
     }
 }
 
-
 pub struct FasterCbcExtractorWithTimeout<const TIMEOUT_IN_SECONDS: u32>;
 
 // Some problems take >36,000 seconds to optimise.
-impl<const TIMEOUT_IN_SECONDS: u32> Extractor for FasterCbcExtractorWithTimeout<TIMEOUT_IN_SECONDS> {
+impl<const TIMEOUT_IN_SECONDS: u32> Extractor
+    for FasterCbcExtractorWithTimeout<TIMEOUT_IN_SECONDS>
+{
     fn extract(&self, egraph: &EGraph, roots: &[ClassId]) -> ExtractionResult {
         return extract(egraph, roots, &Config::default(), TIMEOUT_IN_SECONDS);
     }
@@ -141,7 +142,7 @@ pub struct FasterCbcExtractor;
 
 impl Extractor for FasterCbcExtractor {
     fn extract(&self, egraph: &EGraph, roots: &[ClassId]) -> ExtractionResult {
-           return extract(egraph, roots,&Config::default(), std::u32::MAX);
+        return extract(egraph, roots, &Config::default(), std::u32::MAX);
     }
 }