From a868d08a8706babf5eee8dcd82db2ccf14b9cebb Mon Sep 17 00:00:00 2001
From: Suzanne Millstein <smillst@cs.washington.edu>
Date: Mon, 1 May 2023 09:20:07 -0700
Subject: [PATCH] Fix link.

---
 docs/tutorial/webpages/user-input-cmd.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/tutorial/webpages/user-input-cmd.html b/docs/tutorial/webpages/user-input-cmd.html
index dedb6a86e46..380d1afff00 100644
--- a/docs/tutorial/webpages/user-input-cmd.html
+++ b/docs/tutorial/webpages/user-input-cmd.html
@@ -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.