Merge e221010 into 95c2358

johnyf · Mar 21, 2021 · a7a054a · a7a054a
2 parents 95c2358 + e221010
commit a7a054a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/promela/ast.py b/promela/ast.py
@@ -897,7 +897,7 @@ def __init__(self, s, args):
         self.args = args
 
     def __str__(self):
-        return 'printf()'.format(s=self.s, args=self.args)
+        return 'printf({s})'.format(s=self.s, args=self.args)
 
 
 class Operator(object):

diff --git a/promela/yacc.py b/promela/yacc.py
@@ -251,7 +251,7 @@ def p_one_decl_mtype_vis(self, p):
 
     def p_one_decl_mtype(self, p):
         """one_decl : MTYPE asgn LBRACE name_list RBRACE"""
-        p[0] = self.ast.MessageType(p[3])
+        p[0] = self.ast.MessageType(p[4])
 
     def p_name_list_iter(self, p):
         """name_list : name_list COMMA NAME"""