From 0bdca6b3cf3670cfdf954f0c75533882078b9bbd Mon Sep 17 00:00:00 2001
From: Max Willsey <me@mwillsey.com>
Date: Mon, 11 Sep 2023 09:27:12 -0700
Subject: [PATCH] Format

---
 src/ast/desugar.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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)]