aboutsummaryrefslogtreecommitdiff
path: root/lang/maude/files/patch-src__Mixfix__modules.yy
blob: 370f3194d30a2edaceca8fe81fe6e281e7e778bb (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
--- ./src/Mixfix/modules.yy.orig	2014-09-03 02:57:44.000000000 +0200
+++ ./src/Mixfix/modules.yy	2014-09-03 02:58:03.000000000 +0200
@@ -247,7 +247,7 @@
 			  //	press on.
 			  //
 			  opDescription = lexerBubble;
-			  lexBubble(END_STATEMENT, 1)
+			  lexBubble(END_STATEMENT, 1);
 			}
 			endBubble
 			{