create file

aya-prover · Jan 4, 2024 · a498611 · a498611
1 parent ed4bfa2
commit a498611
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/base/src/main/java/org/aya/tyck/ExprTycker.java b/base/src/main/java/org/aya/tyck/ExprTycker.java
@@ -0,0 +1,4 @@
+package org.aya.tyck;
+
+public class ExprTycker {
+}