--- 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) 
 }