Correct incomplete handling of arguments in dpkg

colis-anr · Feb 27, 2020 · b2175ee · b2175ee
1 parent acb30bf
commit b2175ee
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/symbolic/utilities/dpkg.ml b/src/symbolic/utilities/dpkg.ml
@@ -22,10 +22,10 @@ let interprete ctx =
 
     | "-L" :: _ ->
       error ~utility "option -L expects exactly one argument"
-    | ["--compare-versions"; _v1; _v2] ->
+    | ["--compare-versions"; _v1; _op; _v2] ->
       incomplete ~utility "support for --compare-versions not yet implemented"
     | "--compare-versions" :: _ ->
-      error ~utility "option --compare-versions expects exactly two arguments"
+      error ~utility "option --compare-versions expects exactly three arguments"
     | [] ->
       (* TODO: return error state *)
       error ~utility "no argument found"