simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-06 03:05:31 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

Fixed indentation of new options documentation

Browse source
This commit is contained in:
Guillaume Bury 2014-11-05 00:50:28 +01:00
parent 3443e2b8dc
commit f1a9245953
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
util/sat_solve.ml
View file

@ -47,9 +47,9 @@ let argspec = Arg.align [
"-s", Arg.String (int_arg size_limit), "-s", Arg.String (int_arg size_limit),
"<s>[kMGT] Sets the size limit for the sat solver"; "<s>[kMGT] Sets the size limit for the sat solver";
"-model", Arg.Set p_assign, "-model", Arg.Set p_assign,
"Outputs the boolean model found if sat"; " Outputs the boolean model found if sat";
"-gc", Arg.Unit setup_gc_stat, "-gc", Arg.Unit setup_gc_stat,
"Outputs statistics about the GC"; " Outputs statistics about the GC";
] ]
(* Limits alarm *) (* Limits alarm *)