diff options
Diffstat (limited to 'otherlibs/threads/Tests/test3.ml')
| -rw-r--r-- | otherlibs/threads/Tests/test3.ml | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/otherlibs/threads/Tests/test3.ml b/otherlibs/threads/Tests/test3.ml deleted file mode 100644 index c6df3326e4..0000000000 --- a/otherlibs/threads/Tests/test3.ml +++ /dev/null @@ -1,8 +0,0 @@ -let print_message delay c = - while true do - print_char c; flush stdout; Thread.delay delay - done - -let _ = - Thread.create (print_message 0.6666666666) 'a'; - print_message 1.0 'b' |