Update JSON5 parser to use character instead of code point index

1 files changed, 2 insertions, 5 deletions

diff --git a/src/main/java/org/shedlang/compiler/config/json/Json5Source.java b/src/main/java/org/shedlang/compiler/config/json/Json5Source.java
index 6b761a6a..409dc265 100644
--- a/src/main/java/org/shedlang/compiler/config/json/Json5Source.java
+++ b/src/main/java/org/shedlang/compiler/config/json/Json5Source.java
@@ -7,12 +7,9 @@ public class Json5Source {
     private Json5Source() {}
 
     public static Source fromSourceRange(Source fullSource, Json5SourceRange sourceRange) {
-        // TODO: decide whether we're using code points or code units, and make
-        // consistent (currently Shed sources use UTF-16 code units, JSON5
-        // sources use code points)
         return fullSource.at(
-            sourceRange.startCodePointIndex(),
-            sourceRange.endCodePointIndex()
+            sourceRange.start().characterIndex(),
+            sourceRange.end().characterIndex()
         );
     }
 }