From 1c1a1df78a3876a40b2b2f42765005d25479388a Mon Sep 17 00:00:00 2001 From: Chris Bieneman Date: Mon, 5 Aug 2024 13:54:50 -0500 Subject: [PATCH] [NFC] Fix a broken reference This ref target was misspelled. --- specs/language/overloading.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/specs/language/overloading.tex b/specs/language/overloading.tex index 0fab438f..57788ce0 100644 --- a/specs/language/overloading.tex +++ b/specs/language/overloading.tex @@ -138,7 +138,7 @@ \Sub{Viable Functions}{Overload.Res.Viable} \p Given the candidate set and argument expressions as determined by the -relevant context (\ref{Over.Res.Sets}), a subset of viable functions can be +relevant context (\ref{Overload.Res.Sets}), a subset of viable functions can be selected from the candidate set. \p A function candidate \(F(P_0 ... P_m)\) is not a viable function for a call