Allow empty shocks(overwrite) block.

issue#70
Stéphane Adjemian (Charybdis) 2020-07-09 11:26:28 +02:00 committed by Sébastien Villemot
parent 16f9168fda
commit 03f53c1b0d
No known key found for this signature in database
GPG Key ID: 2CECE9350ECEBE4A
1 changed files with 1 additions and 0 deletions

View File

@ -1089,6 +1089,7 @@ pound_expression: '#' symbol EQUAL hand_side ';'
shocks : SHOCKS ';' shock_list END ';' { driver.end_shocks(false); }
| SHOCKS '(' OVERWRITE ')' ';' shock_list END ';' { driver.end_shocks(true); }
| SHOCKS '(' OVERWRITE ')' ';' END ';' { driver.end_shocks(true); }
;
shock_list : shock_list shock_elem