diff --git a/client/src/protocol/types.ts b/client/src/protocol/types.ts
index f9bcca72d..2a96d4d0a 100644
--- 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[];
 }