summaryrefslogtreecommitdiff
path: root/testsuite/tests/raise-counts/main.ml
blob: b881b83280ef5b77d1432a33180ff30e2f29fce5 (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."