proj: move more to fix compile

aya-prover · Dec 13, 2023 · 80551e2 · 80551e2
1 parent 09490b8
commit 80551e2
Show file tree

Hide file tree

Showing 6 changed files with 4 additions and 4 deletions.
diff --git a/tools-kala/src/main/java/module-info.java b/tools-kala/src/main/java/module-info.java
@@ -4,6 +4,7 @@
   requires static org.jetbrains.annotations;
   requires transitive kala.collection.primitive;
 
+  exports org.aya.util.binop;
   exports org.aya.util.more;
   exports org.aya.util.terck;
   exports org.aya.util.tyck.pat;

diff --git a/...c/main/java/org/aya/util/binop/Assoc.java → ...c/main/java/org/aya/util/binop/Assoc.java b/...c/main/java/org/aya/util/binop/Assoc.java → ...c/main/java/org/aya/util/binop/Assoc.java
@@ -1,4 +1,4 @@
-// Copyright (c) 2020-2022 Tesla (Yinsen) Zhang.
+// Copyright (c) 2020-2023 Tesla (Yinsen) Zhang.
 // Use of this source code is governed by the MIT license that can be found in the LICENSE.md file.
 package org.aya.util.binop;
 

diff --git a/.../java/org/aya/util/binop/BinOpParser.java → .../java/org/aya/util/binop/BinOpParser.java b/.../java/org/aya/util/binop/BinOpParser.java → .../java/org/aya/util/binop/BinOpParser.java
diff --git a/...ain/java/org/aya/util/binop/BinOpSet.java → ...ain/java/org/aya/util/binop/BinOpSet.java b/...ain/java/org/aya/util/binop/BinOpSet.java → ...ain/java/org/aya/util/binop/BinOpSet.java
@@ -1,4 +1,4 @@
-// Copyright (c) 2020-2022 Tesla (Yinsen) Zhang.
+// Copyright (c) 2020-2023 Tesla (Yinsen) Zhang.
 // Use of this source code is governed by the MIT license that can be found in the LICENSE.md file.
 package org.aya.util.binop;
 

diff --git a/.../main/java/org/aya/util/binop/OpDecl.java → .../main/java/org/aya/util/binop/OpDecl.java b/.../main/java/org/aya/util/binop/OpDecl.java → .../main/java/org/aya/util/binop/OpDecl.java
@@ -1,4 +1,4 @@
-// Copyright (c) 2020-2022 Tesla (Yinsen) Zhang.
+// Copyright (c) 2020-2023 Tesla (Yinsen) Zhang.
 // Use of this source code is governed by the MIT license that can be found in the LICENSE.md file.
 package org.aya.util.binop;
 

diff --git a/tools/src/main/java/module-info.java b/tools/src/main/java/module-info.java
@@ -5,7 +5,6 @@
   requires static org.jetbrains.annotations;
   requires transitive kala.collection.primitive;
 
-  exports org.aya.util.binop;
   exports org.aya.util.error;
   exports org.aya.util.prettier;
   exports org.aya.util.reporter;