From 26a386a4813397c14ffdfec9900bf2398ac2e375 Mon Sep 17 00:00:00 2001
From: Mallku2 <mallkuernesto@gmail.com>
Date: Mon, 20 Jan 2025 21:22:24 -0300
Subject: [PATCH] renaming alethe.eo

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

diff --git a/cli/src/main.rs b/cli/src/main.rs
index ed5a8f5d..3a1adfd2 100644
--- a/cli/src/main.rs
+++ b/cli/src/main.rs
@@ -691,7 +691,7 @@ fn translate_command(options: TranslateCommandOptions) -> CliResult<()> {
     // TODO: do not hard-code this in here
     // TODO: fix where to include these depedencies
     // Include Alethe's mechanization in Eunoia
-    println!("(include \"../alethe_signature/Alethe.eo\")");
+    println!("(include \"../alethe_signature/alethe.eo\")");
     println!("(include \"../alethe_signature/theory.eo\")");
     println!("(include \"../alethe_signature/programs.eo\")");
     println!("{}", std::str::from_utf8(&buf_prelude).unwrap());