From f9f9dfaf42922cc30481f4bbf8aa946fc7df0fb8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=E5=B0=8F=E7=99=BD=E4=BA=91?=
 <71159641+littlewhitecloud@users.noreply.github.com>
Date: Sat, 13 Jul 2024 15:46:07 +0800
Subject: [PATCH] Delete tests/other_errors/imported.jou

---
 tests/other_errors/imported.jou | 9 ---------
 1 file changed, 9 deletions(-)
 delete mode 100644 tests/other_errors/imported.jou

diff --git a/tests/other_errors/imported.jou b/tests/other_errors/imported.jou
deleted file mode 100644
index df6f5d81..00000000
--- a/tests/other_errors/imported.jou
+++ /dev/null
@@ -1,9 +0,0 @@
-import "stdlib/io.jou"
-
-def add(a: int, b: int) -> int:
-    return a + b
-
-def main() -> int: # Output: compiler error in file "tests/other_errors/imported.jou": imported file should not have `main` function
-    printf("%d", add(1, 2))
-
-    return 0