aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/coq-makefile/findlib-package/findlib/foo/foolib.ml
blob: 81306fb89b3346c665cf2ea41ad44853e978e010 (plain)
1
2
let foo () =
  assert(Str.search_forward (Str.regexp "foo") "barfoobar" 0 = 3)