From 954c018589d141c7951d1429162db03a232fdb49 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Thu, 1 Jan 1970 00:00:00 +0000 Subject: [PATCH] Error in return type - should have been bool (how did this ever compile???) --- diskzip/diskzip.ml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) 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. *) -- 1.8.3.1