From 852603416f3cc5efa817d80f9e6e2feed93fe308 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 9 Oct 2012 12:08:37 +0200 Subject: [PATCH] to_spin_string: fix output of false and true We used to output 0 and 1, but "spin -f" does not under understand that. * src/ltlvisit/tostring.cc (kw_spin): Output true and false instead of 0 and 1. --- src/ltlvisit/tostring.cc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/ltlvisit/tostring.cc b/src/ltlvisit/tostring.cc index 9e8198d30..d92887218 100644 --- a/src/ltlvisit/tostring.cc +++ b/src/ltlvisit/tostring.cc @@ -99,8 +99,8 @@ namespace spot }; const char* spin_kw[] = { - "0", - "1", + "false", // 0 doesn't work from the command line + "true", // 1 doesn't work from the command line "[*0]", // not supported " xor ", // rewritten " -> ", // rewritten, although supported