address nits

EasyCrypt · Feb 17, 2025 · 0618391 · 0618391
1 parent ad8d7a7
commit 0618391
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/src/ecHiGoal.ml b/src/ecHiGoal.ml
@@ -171,12 +171,12 @@ let process_clear (info : clear_info) tc =
     fst (LDecl.by_name (unloc s) hyps)
   in
   match info with
-  | `Include symbols -> (
+  | `Include symbols -> begin
     try  t_clears (List.map toid symbols) tc
-    with (ClearError _) as err -> tc_error_exn !!tc err)
-  | `Exclude symbols -> let try_clear tc id = 
-    (try t_clear1 id tc
-    with (ClearError _) -> tc) in
+    with (ClearError _) as err -> tc_error_exn !!tc err
+  end
+  | `Exclude symbols -> 
+    let try_clear tc id = try t_clear1 id tc with (ClearError _) -> tc in
     let excluded = List.map toid symbols in
     let hyp_ids = List.map fst (LDecl.tohyps hyps).h_local in
     let clear_list = List.filter (fun x -> not (List.mem x excluded)) hyp_ids in