Fix list in readme

ftsrg · Feb 2, 2021 · d7327d5 · d7327d5
1 parent 031a5df
commit d7327d5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/subprojects/cfa/cfa-cli/README.md b/subprojects/cfa/cfa-cli/README.md
@@ -54,9 +54,9 @@ All arguments are optional, except `--model`.
 * `--visualize`: Visualize the CFA without running the algorithm.
 If the extension of the output file is `pdf`, `png` or `svg` an automatic visualization is performed, for which [GraphViz](../../../doc/Build.md) has to be available on `PATH`.
 Otherwise, the output is simply in `dot` format.
+* `--version`: Print version info (in this case `--model` is of course not required).
 
 The arguments related to the algorithm are described in more detail (along with best practices) in [CEGAR-algorithms.md](../../../doc/CEGAR-algorithms.md).
-* `--version`: Print version info (in this case `--model` is of course not required).
 
 ### For developer usage