Commit ce984be8 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

typo: R is spelled V in lbt's syntax

parent 5d87a98c
Pipeline #7847 passed with stage
in 2 minutes
......@@ -638,7 +638,7 @@ class LtlUnabbrevOptions extends React.Component {
options1 = {
F: ["F", "<>", "F"],
G: ["G", "[]", "G"],
R: ["R", "V", "R"],
R: ["R", "V", "V"],
M: ["M", "M", "M"],
W: ["W", "W", "W"]
};
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment