aout: pass system play time to play callback
[vlc.git] / extras / tools / ragel-6.8-javacodegen.patch
1 diff -urN ragel-6.8.orig/ragel/javacodegen.cpp ragel-6.8/ragel/javacodegen.cpp
2 --- ragel-6.8.orig/ragel/javacodegen.cpp        2013-02-11 05:57:45.000000000 +0400
3 +++ ragel-6.8/ragel/javacodegen.cpp.new 2013-09-01 14:42:27.000000000 +0400
4 @@ -50,6 +50,7 @@
5  using std::ifstream;
6  using std::ostream;
7  using std::ios;
8 +using std::setiosflags;
9  using std::cin;
10  using std::cout;
11  using std::cerr;