From: Gordon Henriksen Date: Sat, 1 Dec 2007 20:59:23 +0000 (+0000) Subject: Fix a typo noticed by Alain Frisch. X-Git-Url: http://plrg.eecs.uci.edu/git/?p=oota-llvm.git;a=commitdiff_plain;h=c8d7194b481cbdf859e3ce8ad49cd40ec86b06fe Fix a typo noticed by Alain Frisch. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@44493 91177308-0d34-0410-b5e6-96231b3b80d8 --- diff --git a/test/Bindings/Ocaml/analysis.ml b/test/Bindings/Ocaml/analysis.ml index bf756169f48..8d8a1df5b7d 100644 --- a/test/Bindings/Ocaml/analysis.ml +++ b/test/Bindings/Ocaml/analysis.ml @@ -23,9 +23,10 @@ let _ = (* Test that valid constructs verify. *) - match verify_module m with + begin match verify_module m with Some msg -> bomb "valid module failed verification!" - | None -> (); + | None -> () + end; if not (verify_function fn) then bomb "valid function failed verification!"; @@ -34,9 +35,10 @@ let _ = A basic block can contain only one terminator instruction. *) ignore (build_ret_void at_entry); - match verify_module m with + begin match verify_module m with Some msg -> () - | None -> bomb "invalid module passed verification!"; + | None -> bomb "invalid module passed verification!" + end; if verify_function fn then bomb "invalid function passed verification!";