Remove tmp

airh4ck · Nov 24, 2023 · b9a304c · b9a304c
1 parent 63e554f
commit b9a304c
Showing 1 changed file with 0 additions and 11 deletions.
diff --git a/PeDuCoML/test/anf/anf.t b/PeDuCoML/test/anf/anf.t
@@ -1193,14 +1193,3 @@
     let i8 =
     i9 5 in
     i8
-  $ ./anf_test.exe <<- EOF
-  > let fst pair =
-  >   match pair with (x, _) -> x
-  > 
-  > let snd pair =
-  >   match pair with (_, y) -> y
-  > 
-  > let idx = 2
-  > 
-  > let main = print_int ((if idx = 1 then fst else snd) (13, 225))
-  > EOF