Commit bda3cf7e authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz

typo

parent 77dd8208
Pipeline #9213 passed with stage
in 1 minute and 36 seconds
......@@ -1012,7 +1012,7 @@ class LtlStudy extends React.Component {
{res["stutter_invariant"] === false && (
<Typography>
This formula is <b>stutter-sensitive</b>.<br />
The accepting and rejecting words given above are a proof of that,
The accepted and rejected words given above are a proof of that,
as they differ only by some stuttering.
</Typography>
)}
......
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