enable the PGF JIT compiler for Android

This commit is contained in:
kr.angelov
2013-09-12 09:05:43 +00:00
parent b3a644300c
commit d88084a2d5
4 changed files with 20 additions and 14 deletions

View File

@@ -169,7 +169,7 @@ Java_org_grammaticalframework_pgf_PGF_readPGF__Ljava_io_InputStream_2(JNIEnv *en
JInStream* jstream = gu_new(JInStream, tmp_pool);
jstream->stream.begin_buffer = jpgf_jstream_begin_buffer;
jstream->stream.end_buffer = jpgf_jstream_end_buffer;
jstream->stream.input = NULL;;
jstream->stream.input = NULL;
jstream->java_stream = java_stream;
jstream->env = env;