Skip to content

Commit

Permalink
Fix link.
Browse files Browse the repository at this point in the history
  • Loading branch information
smillst committed May 1, 2023
1 parent b9d46b9 commit a868d08
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docs/tutorial/webpages/user-input-cmd.html
Original file line number Diff line number Diff line change
Expand Up @@ -175,7 +175,7 @@ <h4>4. Fix the Code</h4>
<p>The right way to fix the problems is for the code to issue a
user-friendly message at run time. It should <b>verify the user
input</b> using the
<a href="https://checkerframework.org/api/org/checkerframework/checker/regex/util/RegexUtil.html#isRegex-java.lang.String-"><code>RegexUtil.isRegex(String, int)</code></a> method.
<a href="https://checkerframework.org/api/org/checkerframework/checker/regex/util/RegexUtil.html#isRegex(java.lang.String)"><code>RegexUtil.isRegex(String, int)</code></a> method.
If the string is not a valid regular
expression, it should <b>print an error message and halt</b>.
If it <em>is</em> a valid regular expression, perform as before.
Expand Down

0 comments on commit a868d08

Please sign in to comment.