Use new option name

This commit is contained in:
Joe Farebrother
2025-09-01 23:41:28 +01:00
parent 6587ad435e
commit 125c6534b7

View File

@@ -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