diff --git a/prototype/doubt-difftool/main.swift b/prototype/doubt-difftool/main.swift index 1b18d6cba..0224286d8 100644 --- a/prototype/doubt-difftool/main.swift +++ b/prototype/doubt-difftool/main.swift @@ -65,7 +65,7 @@ func termWithInput(string: String) -> Term? { switch try $0.category(document) { case "pair": let range = $0.namedChildren[0].range - guard let name = String(string.utf16[String.UTF16View.Index(_offset: range.startIndex)..