From b18b39ab127f9180e0111f115cc360a8a763785c Mon Sep 17 00:00:00 2001
From: Peli de Halleux <pelikhan@users.noreply.github.com>
Date: Sat, 23 Mar 2024 12:49:22 +0000
Subject: [PATCH] fix warning

---
 docs/src/content/docs/case-studies/tla-ai-linter.mdx | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/src/content/docs/case-studies/tla-ai-linter.mdx b/docs/src/content/docs/case-studies/tla-ai-linter.mdx
index 4ec35bfccc..4ed32bc95e 100644
--- a/docs/src/content/docs/case-studies/tla-ai-linter.mdx
+++ b/docs/src/content/docs/case-studies/tla-ai-linter.mdx
@@ -21,7 +21,7 @@ TLA+ does not come with a traditional linter or formatter.  The TLA+ AI Linter i
 
 The following is a TLA+ spec that models a seminal solution to the [termination detection problem in distributed systems](https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF).
 
-<Code code={specSource} wrap={true} lang="tla" title="EWD998PCal.tla" />
+<Code code={specSource} wrap={true} lang="txt" title="EWD998PCal.tla" />
 
 ## Script