Typo

standardml · Mar 31, 2024 · a4f54fe · a4f54fe
1 parent 49b21e8
commit a4f54fe
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/wiki/src/components/Twelf.astro b/wiki/src/components/Twelf.astro
@@ -12,7 +12,7 @@ function trimSlightly(code: string): string {
   return code3;
 }
 
-const { code = x() } = Astro.props;
+const { code = "" } = Astro.props;
 const context: string = Astro.props.contextFile
   ? readFileSync(Astro.props.contextFile, "utf-8")
   : Astro.props.context ?? "";