X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fuserprog%2Fexit.exp;fp=grading%2Fuserprog%2Fexit.exp;h=0000000000000000000000000000000000000000;hb=615bf3b3d2a8573ed6fb9ddc0055745e163ac999;hp=00e83e8e52e34898cbff1ff986bb45c792ac27f9;hpb=5780c9f434cca090f88463b7f0199d49b4ded288;p=pintos-anon

diff --git a/grading/userprog/exit.exp b/grading/userprog/exit.exp
deleted file mode 100644
index 00e83e8..0000000
--- a/grading/userprog/exit.exp
+++ /dev/null
@@ -1,2 +0,0 @@
-(exit) begin
-exit: exit(57)