pkgsrc-ng/lang/maude/patches/patch-src_Mixfix_commands.yy
2014-08-11 13:27:10 +02:00

20 lines
561 B
Plaintext

$NetBSD: patch-src_Mixfix_commands.yy,v 1.1 2013/11/29 18:30:10 joerg Exp $
--- src/Mixfix/commands.yy.orig 2013-11-28 01:20:49.000000000 +0000
+++ src/Mixfix/commands.yy
@@ -23,12 +23,12 @@
/*
* Commands.
*/
-command : KW_SELECT { lexBubble(END_COMMAND, 1) }
+command : KW_SELECT { lexBubble(END_COMMAND, 1); }
endBubble
{
interpreter.setCurrentModule(lexerBubble);
}
- | KW_DUMP { lexBubble(END_COMMAND, 1) }
+ | KW_DUMP { lexBubble(END_COMMAND, 1); }
endBubble
{
if (interpreter.setCurrentModule(lexerBubble))