diff --git a/src/ast/desugar.rs b/src/ast/desugar.rs
index 1c0a0511..2b9e1754 100644
--- 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)]