README.md fix: crab-dom=VAL instead of crab-domain=VAL

seahorn · May 10, 2018 · 9afaa43 · 9afaa43
1 parent bb50f85
commit 9afaa43
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -231,7 +231,7 @@ that implies the desired invariant `x.0.lcssa` = `y.0.lcssa`.
 
 Crab-llvm analyzes programs with the `zones` domain as the default
 abstract domain. Users can choose the abstract domain by typing the
-option `--crab-domain=VAL`. The possible values of `VAL` are:
+option `--crab-dom=VAL`. The possible values of `VAL` are:
 
 - `int`: intervals
 - `ric`: reduced product of `int` and congruences