fix compile error in shell/shell.sml (had to pass an additional parameter: 'Time.now ()')

2025-08-20 13:53:31 +01:00
parent 4d77aed6ef
commit cd21f87732
1 changed files with 2 additions and 1 deletions
--- 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