Format

egraphs-good · Sep 11, 2023 · 0bdca6b · 0bdca6b
1 parent 5d6c18b
commit 0bdca6b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/ast/desugar.rs b/src/ast/desugar.rs
@@ -1,5 +1,5 @@
-use crate::*;
 use super::Rule;
+use crate::*;
 
 fn desugar_datatype(name: Symbol, variants: Vec<Variant>) -> Vec<NCommand> {
     vec![NCommand::Sort(name, None)]