# HG changeset patch
# User Ludovic Chabant <ludovic@chabant.com>
# Date 1696295531 25200
# Node ID 388eb78ef4b753ed3d4ca3c9555cbe7b49af27ed
# Parent  06504ceb32838c285ef9af0f6d945cf557fa8cff
Typescript compliance.

diff -r 06504ceb3283 -r 388eb78ef4b7 src/main.ts
--- a/src/main.ts	Mon Oct 02 10:10:09 2023 -0700
+++ b/src/main.ts	Mon Oct 02 18:12:11 2023 -0700
@@ -505,8 +505,8 @@
 	private readonly setupLogFile = function(outLogPath: string) {
 		console.log("RememberFileState: setting up log file: ", outLogPath);
 
-		const makeWrapper = function(origFunc) {
-			return function (data) {
+		const makeWrapper = function(origFunc: () => void) {
+			return function () {
 				origFunc.apply(console, arguments);
 
 				var text: string = "";