From 8763af76e9e7c2dad3c6473fed641b564159e2e9 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Wed, 4 Nov 2020 16:09:50 +0100
Subject: [PATCH] Make sure all sasa output are preceed by a rif comment so
that sim2chro works
---
src/sasaMain.ml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/sasaMain.ml b/src/sasaMain.ml
index 0a65fcd6..74f66c29 100644
--- a/src/sasaMain.ml
+++ b/src/sasaMain.ml
@@ -137,7 +137,7 @@ let (simustep: int -> int -> SasArg.t -> string ->
raise (Legitimate (n-i))
| Some ff ->
print_step n i pot args e pl activate_val enab_ll;
- let str = if args.rif then "#" else "" in
+ let str = if args.rif then "#" else "#" in
Printf.eprintf
"\n%sThis algo reached a legitimate configuration after %i move%s, %i step%s, %i round%s.\n"
str !moves (plur !moves) (n-i) (plur (n-i)) !rounds (plur !rounds);
@@ -204,7 +204,7 @@ let () =
let str = if args.rif then "#" else "" in
Printf.printf
"\n%s%sThis algo reached a legitimate configuration after %i move%s, %i step%s, %i round%s.\n%!"
- (if args.rif then "#" else "")
+ (if args.rif then "#" else "#")
str !moves (plur !moves) i (plur i) !rounds (plur !rounds);
flush stderr;
flush stdout;
--
GitLab