From 6de2e0444303770d26544bac2e1caf96331f04e0 Mon Sep 17 00:00:00 2001 From: Mylloon Date: Thu, 14 Mar 2024 22:23:06 +0100 Subject: [PATCH] fix dune exec example --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 64146e3..819d58f 100644 --- a/README.md +++ b/README.md @@ -154,7 +154,7 @@ To run your code you will have to implement then run it via ``` -$ dune exec +$ dune exec projet_pfa_23_24 ``` ## Testing your code