# HG changeset patch
# User Christian Urban <christian.urban@kcl.ac.uk>
# Date 1671814799 0
# Node ID 9cf317975ae7a2affe1a733a67f3f731eff20463
# Parent  d076cb2e0b75eebc9bf6cb05d2c9d6563623ced6
updated

diff -r d076cb2e0b75 -r 9cf317975ae7 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) 
 }