summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--src/main.ml2
1 files changed, 1 insertions, 1 deletions
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
|}