From 5a5b0feb8e9d53dc49ad85685e260ac6b1bd9f03 Mon Sep 17 00:00:00 2001
From: Heather Macbeth <25316162+hrmacbeth@users.noreply.github.com>
Date: Fri, 28 Oct 2022 17:12:31 +0200
Subject: [PATCH] typo in Main

---
 Main.lean | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Main.lean b/Main.lean
index 0530c1c..f9b27f7 100644
--- a/Main.lean
+++ b/Main.lean
@@ -10,7 +10,7 @@ def app : AppInfo := {
   name := "LeanInk"
   base := "leanInk"
   version := { major := 1, minor := 0, patch := 0 }
-  description := "LeanInk is a code analysis tool for Lean 4 that extracts proof tactic information. It's main goal is to ease the support for Lean 4 in Alectryon."
+  description := "LeanInk is a code analysis tool for Lean 4 that extracts proof tactic information. Its main goal is to ease the support for Lean 4 in Alectryon."
 }
 
 def analyzeCommand : Command := {
@@ -53,4 +53,4 @@ def leanVersionCommand : Command := {
   run := λ _ _ => Version.printLeanVersion
 }
 
-def main : List String -> IO UInt32 := runCLI app [analyzeCommand, leanVersionCommand]
\ No newline at end of file
+def main : List String -> IO UInt32 := runCLI app [analyzeCommand, leanVersionCommand]