From f17cd7599723bad0d3c74a850c0a51b7de4402b1 Mon Sep 17 00:00:00 2001 From: Aosen Xiong Date: Sun, 22 Dec 2024 17:33:39 -0800 Subject: [PATCH] Update link to eisop repo --- docs/manual/creating-a-checker.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/manual/creating-a-checker.tex b/docs/manual/creating-a-checker.tex index bf5c2e83f0e..e3c578bf1fa 100644 --- a/docs/manual/creating-a-checker.tex +++ b/docs/manual/creating-a-checker.tex @@ -212,7 +212,7 @@ repository \url{https://github.com/eisop/checker-framework}. Another choice is to write it in a stand-alone repository. Here is a template for a stand-alone repository: -\url{https://github.com/typetools/templatefora-checker}; at that URL, +\url{https://github.com/eisop/templatefora-checker}; at that URL, click the ``Use this template'' button. % You may also wish to consult Section~\ref{creating-testing-framework} for