From 8aa18d82636ba4d9ce8284a343c4df3cb1412fb7 Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Thu, 29 Oct 2015 10:01:31 -0400 Subject: [PATCH] Use the UTF16 integer range subscript. --- prototype/doubt-difftool/main.swift | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)..