diff --git a/src/vs/base/browser/markedKatexSupport.ts b/src/vs/base/browser/markedKatexSupport.ts
index d290cb032132..e65547fdfb15 100644
--- a/src/vs/base/browser/markedKatexSupport.ts
+++ b/src/vs/base/browser/markedKatexSupport.ts
@@ -45,7 +45,9 @@ export class MarkedKatexSupport {
 
 
 namespace MarkedKatexExtension {
-	type KatexOptions = import('katex').KatexOptions;
+	type KatexOptions = {
+		throwOnError?: boolean;
+	};
 
 	// From https://github.com/UziTech/marked-katex-extension/blob/main/src/index.js
 	export interface MarkedKatexOptions extends KatexOptions {