Fix a typo noticed by Alain Frisch.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@44493 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Gordon Henriksen 2007-12-01 20:59:23 +00:00
parent dff6710717
commit c8d7194b48

View File

@ -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!";