X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=diskzip%2Fdiskzip.ml;h=75fffc60f7de64344b4408d2671f7040e670ba74;hb=11e0989400d8eb8be4c013ba478d8f0b6937fb4d;hp=7e2969a7a4ebca27c9fdfaad41ab8063cc54f156;hpb=264faa6f381b1972327f830e3fca5ddd5881ff92;p=virt-df.git

diff --git a/diskzip/diskzip.ml b/diskzip/diskzip.ml
index 7e2969a..75fffc6 100644
--- a/diskzip/diskzip.ml
+++ b/diskzip/diskzip.ml
@@ -39,10 +39,11 @@ let rec main () =
     match name with
     | "diskzcat" -> false
     | "diskzip" -> true
-    | name ->
+    | _ ->
 	eprintf
 	  (f_"diskzip: unknown executable name '%s', assuming 'diskzip'\n")
-	  name in
+	  name;
+	true in
   let compressing = ref compressing in
 
   (* Command line argument parsing. *)