diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2013-10-09 19:37:57 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2013-10-09 19:37:57 +0000 |
| commit | f58d684ab472811f676bb0474498acb872f36278 (patch) | |
| tree | 5bbf7b6d5eb9cda341064e527469477fc11337d2 /src/runtime/java | |
| parent | 268e9a79605756e4b76e0a43b280a167c267f8ba (diff) | |
fix in the Java binding
Diffstat (limited to 'src/runtime/java')
| -rw-r--r-- | src/runtime/java/jpgf.c | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/runtime/java/jpgf.c b/src/runtime/java/jpgf.c index 0367fb28e..871b80f16 100644 --- a/src/runtime/java/jpgf.c +++ b/src/runtime/java/jpgf.c @@ -288,12 +288,10 @@ Java_org_grammaticalframework_pgf_Parser_parse if (!gu_ok(parse_err)) { if (gu_exn_caught(parse_err) == gu_type(PgfExn)) { GuString msg = (GuString) gu_exn_caught_data(parse_err); - jstring jmsg = gu2j_string(env, msg); - throw_string_exception(env, "org/grammaticalframework/pgf/PGFError", jmsg); + throw_string_exception(env, "org/grammaticalframework/pgf/PGFError", msg); } else if (gu_exn_caught(parse_err) == gu_type(PgfParseError)) { GuString tok = (GuString) gu_exn_caught_data(parse_err); - jstring jtok = gu2j_string(env, tok); - throw_jstring_exception(env, "org/grammaticalframework/pgf/ParseError", jtok); + throw_string_exception(env, "org/grammaticalframework/pgf/ParseError", tok); } gu_pool_free(pool); |