diff src/parse.y @ 4044:9678c5526190

[project @ 2002-08-15 16:54:55 by jwe]
author jwe
date Thu, 15 Aug 2002 16:54:56 +0000
parents cfb762dc9259
children b79da8779a0e
line wrap: on
line diff
--- a/src/parse.y	Thu Aug 15 03:36:27 2002 +0000
+++ b/src/parse.y	Thu Aug 15 16:54:56 2002 +0000
@@ -980,7 +980,9 @@
 		  }
 		;
 
-case_list	: case_list1
+case_list	: // empty
+		  { $$ = new tree_switch_case_list (); }
+		| case_list1
 		  { $$ = $1; }
 		| case_list1 default_case
 		  {