Use new option name

joefarebrother · joefarebrother · commit 125c6534b76a · 2025-09-01T23:41:28.000+01:00
diff --git a/python/ql/src/Functions/SignatureOverriddenMethod.ql b/python/ql/src/Functions/SignatureOverriddenMethod.ql
@@ -220,7 +220,7 @@ Call chooseASignatureMismatchWitness(Function base, Function sub) {
   )
 }
 
-module CallOption = LocOption2<Location, Call>;
+module CallOption = LocatableOption<Location, Call>;
 
 from Function base, Function sub, string msg, string extraMsg, CallOption::Option call
 where

Original file line number	Diff line number	Diff line change
`@@ -220,7 +220,7 @@ Call chooseASignatureMismatchWitness(Function base, Function sub) {`
`220`	`220`	`)`
`221`	`221`	`}`
`222`	`222`
`223`		`-module CallOption = LocOption2<Location, Call>;`
	`223`	`+module CallOption = LocatableOption<Location, Call>;`
`224`	`224`
`225`	`225`	`from Function base, Function sub, string msg, string extraMsg, CallOption::Option call`
`226`	`226`	`where`