From 30036177fbb9fecde7421a3ff0e453d38a21e6fd Mon Sep 17 00:00:00 2001 From: Humza Shahid Date: Thu, 7 Aug 2025 14:42:40 +0100 Subject: [PATCH] remove calls to retrieve 'lineIdx' values which are never used --- fcore/app-update.sml | 1 - fcore/finish.sml | 1 - 2 files changed, 2 deletions(-) diff --git a/fcore/app-update.sml b/fcore/app-update.sml index 2cb811c..1bf2823 100644 --- a/fcore/app-update.sml +++ b/fcore/app-update.sml @@ -68,7 +68,6 @@ struct (* move buffer to new startLine as required by TextBuilder.build * and move searchList to idx where line starts as well *) val buffer = LineGap.goToLine (startLine, buffer) - val lineIdx = TextBuilder.getLineAbsIdx (startLine, buffer) val drawMsg = TextBuilder.build ( startLine diff --git a/fcore/finish.sml b/fcore/finish.sml index 190a22a..4e5e27a 100644 --- a/fcore/finish.sml +++ b/fcore/finish.sml @@ -15,7 +15,6 @@ struct (* move buffer to new startLine as required by TextBuilder.build *) val buffer = LineGap.goToLine (startLine, buffer) - val lineIdx = TextBuilder.getLineAbsIdx (startLine, buffer) val msgs = TextBuilder.build ( startLine