From b2175ee0485f428c01861d255a25db19cc163871 Mon Sep 17 00:00:00 2001 From: Benedikt Becker Date: Thu, 27 Feb 2020 15:24:56 +0100 Subject: [PATCH] Correct incomplete handling of arguments in dpkg --- src/symbolic/utilities/dpkg.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/symbolic/utilities/dpkg.ml b/src/symbolic/utilities/dpkg.ml index c8c351f2..fa5c4ec2 100644 --- 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"