Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/Nunchaku/nunchaku_problem.ML
changeset 66629 d9ceebfba0af
parent 66623 8fc868e9e1bf
child 66646 383d8e388d1b 
--- a/src/HOL/Tools/Nunchaku/nunchaku_problem.ML	Fri Sep 08 00:02:31 2017 +0200
+++ b/src/HOL/Tools/Nunchaku/nunchaku_problem.ML	Fri Sep 08 00:02:31 2017 +0200
@@ -744,7 +744,7 @@
       val s1 = Option.map (prefix "min_card " o signed_string_of_int) c1;
       val s2 = Option.map (prefix "max_card " o signed_string_of_int) c2;
     in
-      enclose " [" "]" (space_implode ", " (map_filter I [s1, s2]))
+      enclose " [" "]" (space_implode "; " (map_filter I [s1, s2]))
     end;
 
 fun str_of_nun_command (NTVal (ty, cards)) =
isabelle