From 38dba7053ca7fc6dccd7611db6373e4b6918edd4 Mon Sep 17 00:00:00 2001
From: Kevin Quick <kquick@galois.com>
Date: Sun, 5 May 2024 21:11:01 -0700
Subject: [PATCH] Fix small spelling error in the demo program.

---
 programs/Demo.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/programs/Demo.hs b/programs/Demo.hs
index aec2921..1dfb51d 100644
--- a/programs/Demo.hs
+++ b/programs/Demo.hs
@@ -89,7 +89,7 @@ app programs =
 usage :: IO ()
 usage = do
     pn <- getProgName
-    putStrLn $ pn <> " <path to XML syntax definintion directory>"
+    putStrLn $ pn <> " <path to XML syntax definition directory>"
 
 main :: IO ()
 main = do