CommandUtils.java

2 years ago

fix let expression created for Event-B · bb2a552f


was not a valid expression, meaning that
once a :let was defined in Event-B mode
every command expecting an expression
failed with an error

Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>

bb2a552f

History

fix let expression created for Event-B

Michael Leuschel authored 2 years ago


was not a valid expression, meaning that
once a :let was defined in Event-B mode
every command expecting an expression
failed with an error

Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>

Code owners

Assign users and groups as approvers for specific file changes. Learn more.