From 144b660f7cfb8b65672f5872c05272a9caa0de78 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 26 Jan 2022 09:43:42 +0100
Subject: Fix a typo

---
 src/main.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main.ml b/src/main.ml
index a7480a3f..2e1e552e 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -17,7 +17,7 @@ let () = Printexc.record_backtrace true
 
 let usage =
   Printf.sprintf
-    {|Aenaes: verification of Rust programs by translation
+    {|Aeneas: verification of Rust programs by translation
 
 Usage: %s [OPTIONS] FILE
 |}
-- 
cgit v1.2.3