main_marking5/mk_main5
changeset 463 0315d9983cd0
parent 424 daf561a83ba6
--- a/main_marking5/mk_main5	Sun Jan 15 10:58:13 2023 +0000
+++ b/main_marking5/mk_main5	Sat Mar 11 22:01:53 2023 +0000
@@ -16,6 +16,7 @@
   cp ../../../../../main_marking5/bf_test3.scala .
   cp ../../../../../main_marking5/bf_test4.scala .
   cp ../../../../../main_marking5/bf_test4b.scala .
+  cp ../../../../../main_marking5/bf_test4c.scala .
   cp ../../../../../main_marking5/bf_test5.scala .
   cp ../../../../../main_marking5/bf_test6.scala .
   cp ../../../../../main_marking5/bf_test7.scala .
@@ -27,6 +28,7 @@
   rm bf_test3.scala
   rm bf_test4.scala
   rm bf_test4b.scala
+  rm bf_test4c.scala
   rm bf_test5.scala
   rm bf_test6.scala
   rm bf_test7.scala