From 932ce8e6ee02389cf8dcefb9c8786bb4991e43ef Mon Sep 17 00:00:00 2001
From: jorg-vr <jorg.vr@live.be>
Date: Tue, 24 Oct 2023 13:50:32 +0200
Subject: [PATCH] Fix linting

---
 app/assets/javascripts/tutor.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/app/assets/javascripts/tutor.ts b/app/assets/javascripts/tutor.ts
index a4f402ebb5..f185630d11 100644
--- a/app/assets/javascripts/tutor.ts
+++ b/app/assets/javascripts/tutor.ts
@@ -83,7 +83,7 @@ export function initTutor(submissionCode: string): void {
         }
     }
 
-    async function loadTutor(exerciseId: string, studentCode: string, statements: string, stdin: string, inlineFiles: Record<string, string>, hrefFiles: Record<string, string>): void {
+    async function loadTutor(exerciseId: string, studentCode: string, statements: string, stdin: string, inlineFiles: Record<string, string>, hrefFiles: Record<string, string>): Promise<void> {
         if (!traceGenerator) {
             // only setup the traceGenerator upon first use, as it is a heavy operation
             traceGenerator = new TraceGenerator();