From 0001ad72f3536828d5e5622aa92bd9a5ecf04fbd Mon Sep 17 00:00:00 2001
From: FranchuFranchu <fff999abc999@gmail.com>
Date: Tue, 27 Feb 2024 18:06:39 -0300
Subject: [PATCH] oops, missed something :)

---
 src/main.rs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/main.rs b/src/main.rs
index 5381eb43..bbc9c32e 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -58,9 +58,9 @@ A massively parallel Interaction Combinator evaluator
 
 Examples: 
 $ hvmc run examples/church_encoding/church.hvm
-$ hvmc run tests/programs/addition.hvmc "#16" "#3"
-$ hvmc compile tests/programs/addition.hvmc
-$ hvmc reduce tests/programs/addition.hvmc -- "a & @mul ~ (#3 (#4 a))"
+$ hvmc run examples/addition.hvmc "#16" "#3"
+$ hvmc compile examples/addition.hvmc
+$ hvmc reduce examples/addition.hvmc -- "a & @mul ~ (#3 (#4 a))"
 $ hvmc reduce -- "a & #3 ~ <* #4 a>""##
 )]
 struct FullCli {