marking4/re_test3.scala
changeset 288 65731df141a5
parent 245 975d34506e88
--- a/marking4/re_test3.scala	Wed Oct 30 12:47:10 2019 +0000
+++ b/marking4/re_test3.scala	Wed Oct 30 14:07:58 2019 +0000
@@ -1,4 +1,4 @@
-
+import CW9c._
 
 
 assert(simp(ZERO | ONE) == ONE)