From 835a15a343135d0041dcf3404764ee2f25b26de7 Mon Sep 17 00:00:00 2001 From: "kr.angelov" Date: Wed, 9 Oct 2013 19:37:57 +0000 Subject: [PATCH] fix in the Java binding --- src/runtime/java/jpgf.c | 6 ++---- 1 file 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);