From e9bae8864d9878d0482387a51dee96cce4930890 Mon Sep 17 00:00:00 2001 From: Julien Girard <julien.girard2@cea.fr> Date: Tue, 5 Apr 2022 10:09:01 +0200 Subject: [PATCH] [SAVer] Renamed fail condition on OVO parser. --- lib/ovo/ovo.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/lib/ovo/ovo.ml b/lib/ovo/ovo.ml index 9bb7b89c..d8949aa5 100644 --- a/lib/ovo/ovo.ml +++ b/lib/ovo/ovo.ml @@ -48,15 +48,15 @@ let skip_ovo_header filename in_channel = let handle_ovo_basic_info in_channel = match handle_ovo_line ~f:Int.of_string in_channel with | [ dim ] -> Ok dim - | _ -> ovo_format_error "second" - | exception End_of_file -> ovo_format_error "second" + | _ -> ovo_format_error "first" + | exception End_of_file -> ovo_format_error "first" (* Skip unused flag. *) let handle_ovo_unused_flag in_channel = try let _ = Csv.next in_channel in Ok () - with End_of_file -> ovo_format_error "forth" + with End_of_file -> ovo_format_error "second" (* Retrieves [filename] OVO model metadata and weights wrt OVO format specification, which is described here: -- GitLab