the PGF class is now using the new Pool class to manage the life time of the memory allocated in C.

1 files changed, 0 insertions, 6 deletions

diff --git a/src/runtime/java/jpgf.c b/src/runtime/java/jpgf.c
index b22638cb5..757667c75 100644
--- a/src/runtime/java/jpgf.c
+++ b/src/runtime/java/jpgf.c
@@ -129,12 +129,6 @@ Java_org_grammaticalframework_pgf_PGF_getStartCat(JNIEnv* env, jobject self)
 	return jname;
 }
 
-JNIEXPORT void JNICALL 
-Java_org_grammaticalframework_pgf_PGF_free(JNIEnv* env, jclass cls, jlong pool)
-{
-	gu_pool_free((GuPool*) pool);
-}
-
 typedef struct {
 	GuMapItor fn;
 	JNIEnv *env;