From 028dee3241b6e0e26168e5f009d704b89b2e45e1 Mon Sep 17 00:00:00 2001 From: Chris B Date: Mon, 12 Aug 2024 13:58:48 -0500 Subject: [PATCH] [NFC] Fix a broken reference (#296) 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