From cd21f87732939ebd5b99c3383cf0ef1df2ce6506 Mon Sep 17 00:00:00 2001 From: Humza Shahid Date: Wed, 20 Aug 2025 13:53:31 +0100 Subject: [PATCH] fix compile error in shell/shell.sml (had to pass an additional parameter: 'Time.now ()') --- shell/shell.sml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/shell/shell.sml b/shell/shell.sml index 2ca01c5..4905351 100644 --- a/shell/shell.sml +++ b/shell/shell.sml @@ -74,7 +74,8 @@ struct val searchList = SearchList.build (buffer, searchString) val buffer = LineGap.goToStart buffer in - AppWith.searchList (app, searchList, buffer, searchString) + AppWith.searchList + (app, searchList, buffer, searchString, Time.now ()) end val () = registerCallbacks window