summaryrefslogtreecommitdiff
path: root/testsuite/tests/raise-counts/main.ml
blob: cee4d34e4b1fe0429b032e367d847654e9460e15 (plain)
1
2
3
4
5
6
7
8
9
(* TEST
 modules = "a.ml b.ml";
*)

(* PR#7702 *)

let () =
  B.bug (Some "");
  print_endline "OK."