From 9a81afb8b4118e02cae897520be92e1912135280 Mon Sep 17 00:00:00 2001 From: Henrik Tidefelt Date: Wed, 19 Oct 2022 22:40:56 +0200 Subject: [PATCH] Fix markdown mistakes --- RationaleMCP/0031/grammar.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/RationaleMCP/0031/grammar.md b/RationaleMCP/0031/grammar.md index 9aefb6475..7d9bdfd75 100644 --- a/RationaleMCP/0031/grammar.md +++ b/RationaleMCP/0031/grammar.md @@ -179,15 +179,15 @@ end _F; > _base-partition_ →\ >   **partition** _comment_\ >   _clock-clause_ **;**\ ->   _sub-partition_*\ +>   _sub-partition_* > _sub-partition_ →\ >   **subpartition** _comment_\ >   _clock-clause_ **;**\ >   ( **solverMethod** _STRING_ **;** )?\ ->   ( **equation** ( _equation_ **;** )* \ ->   | **algorithm** ( _statement_ **;** )* \ ->   )* \ +>   ( **equation** ( _equation_ **;** )*\ +>   | **algorithm** ( _statement_ **;** )*\ +>   )* > _clock-clause_ → **Clock** _IDENT_ **=** _expression_ _comment_