From aa5af3b0f20eef277d7ccca02079e3532b3fc93a Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 4 Nov 2014 18:00:04 +0100 Subject: [PATCH] style --- util/parser.ml | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/util/parser.ml b/util/parser.ml index e4b4f57b..5eeb2511 100644 --- a/util/parser.ml +++ b/util/parser.ml @@ -21,11 +21,12 @@ let of_input f = raise (Syntax_error (-1)) end | l -> - begin try begin match List.rev_map int_of_string l with - | 0 :: r -> Clause r - | _ -> raise (Syntax_error (-1)) - end with - | Invalid_argument _ -> raise (Syntax_error (-1)) + begin try + begin match List.rev_map int_of_string l with + | 0 :: r -> Clause r + | _ -> raise (Syntax_error (-1)) + end + with Invalid_argument _ -> raise (Syntax_error (-1)) end let parse_with todo file =