From 05dca79f702bc46246d0314c33445cb11ef59223 Mon Sep 17 00:00:00 2001
From: Cyril SIX <cyril.six@kalray.eu>
Date: Mon, 13 Jan 2020 11:26:33 +0100
Subject: Typo in printf

---
 backend/Duplicateaux.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/backend/Duplicateaux.ml b/backend/Duplicateaux.ml
index a987d73f..1a41ed79 100644
--- a/backend/Duplicateaux.ml
+++ b/backend/Duplicateaux.ml
@@ -291,7 +291,7 @@ let rec to_ttl_code_rec directions = function
 let to_ttl_code code entrypoint =
   let directions = get_directions code entrypoint
   in begin
-    Printf.printf "Non-ifso directions: ";
+    Printf.printf "Ifso directions: ";
     ptree_printbool directions;
     Printf.printf "\n";
     Random.init(0); (* using same seed to make it deterministic *)
-- 
cgit