Update client/src/protocol/types.ts

coq · Nov 22, 2023 · 74f2c25 · 74f2c25
1 parent af10e22
commit 74f2c25
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/client/src/protocol/types.ts b/client/src/protocol/types.ts
@@ -53,7 +53,7 @@ export interface ProofViewNotification {
 
 export interface UpdateHighlightsNotification {
     uri: Uri; 
-    parsedRange: Range[];
+    processingRange: Range[];
     processedRange: Range[];
 }