compiler: fix import block

aya-prover · Jun 26, 2024 · c32bfda · c32bfda
1 parent e48ba23
commit c32bfda
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/jit-compiler/src/main/java/org/aya/compiler/AyaSerializer.java b/jit-compiler/src/main/java/org/aya/compiler/AyaSerializer.java
@@ -51,12 +51,12 @@ public interface AyaSerializer {
     import org.aya.syntax.core.*;
     import org.aya.syntax.core.Closure.Jit;
     import org.aya.syntax.core.pat.Pat;
+    import org.aya.syntax.core.pat.PatMatcher;
     import org.aya.syntax.core.repr.*;
     import org.aya.syntax.core.term.*;
     import org.aya.syntax.core.term.repr.*;
     import org.aya.syntax.core.term.call.*;
     import org.aya.syntax.core.term.xtt.*;
-    import org.aya.normalize.PatMatcher;
     import org.aya.util.error.Panic;
     import org.aya.util.binop.Assoc;