# HG changeset patch
# User Christian Urban <christian.urban@kcl.ac.uk>
# Date 1671814799 0
# Node ID a06efd2e3117d080e7f0f41d4b6ffa641b7c77db
# Parent  7dec9d748178975dacab7e30fe2bc4bb708765ec
updated

diff -r 7dec9d748178 -r a06efd2e3117 main_testing3/re.scala
--- a/main_testing3/re.scala	Fri Dec 23 16:52:34 2022 +0000
+++ b/main_testing3/re.scala	Fri Dec 23 16:59:59 2022 +0000
@@ -93,7 +93,7 @@
 
 def SEQs_smart(rs: List[Rexp]) : Rexp = rs match {
   case Nil => ONE
-  case ZERO::nil => ZERO
+  case ZERO::Nil => ZERO
   case r::Nil => r
   case rs => SEQs(rs) 
 }