Commit 8b59a581 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz

* client/src/LtlApp.js: Typo in help text.

parent 9a39bb3d
Pipeline #20867 passed with stage
in 1 minute and 58 seconds
......@@ -2231,7 +2231,7 @@ class Help extends React.Component {
this.props.classes
)}
Double-quoted strings, as well as identifiers that do not look
like a operators, are assumed to be atomic propositions.
like operators, are assumed to be atomic propositions.
</Typography>
</Typography>
</ExpansionPanelDetails>
......
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