diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2020-01-13 11:26:33 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2020-01-13 11:26:33 +0100 |
commit | 05dca79f702bc46246d0314c33445cb11ef59223 (patch) | |
tree | 348eecd78e18aea07ceaed317aa4763b81579d90 | |
parent | aed1bf936b69464f99a92133a43d51664295d780 (diff) | |
download | compcert-kvx-05dca79f702bc46246d0314c33445cb11ef59223.tar.gz compcert-kvx-05dca79f702bc46246d0314c33445cb11ef59223.zip |
Typo in printf
-rw-r--r-- | backend/Duplicateaux.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 *) |