diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2013-08-28 00:04:50 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2013-08-28 00:04:50 +0000 |
| commit | 5a24be9735b6b9b2f9cf1f92fea9140b086b07ba (patch) | |
| tree | 227409632ef1b8325e71406a434380e09a8d33c0 /src/runtime/java/org | |
| parent | e3bd66cc7832a5562aae37f8e3aebaf67cb74570 (diff) | |
fixes in the Java binding
Diffstat (limited to 'src/runtime/java/org')
| -rw-r--r-- | src/runtime/java/org/grammaticalframework/pgf/PGF.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/runtime/java/org/grammaticalframework/pgf/PGF.java b/src/runtime/java/org/grammaticalframework/pgf/PGF.java index 467065d00..6bbe5590a 100644 --- a/src/runtime/java/org/grammaticalframework/pgf/PGF.java +++ b/src/runtime/java/org/grammaticalframework/pgf/PGF.java @@ -4,7 +4,7 @@ import java.io.*; import java.util.*; public class PGF { - public static native PGF readPGF(String path) throws FileNotFoundException; + public static native PGF readPGF(String path) throws FileNotFoundException; public native String getAbstractName(); |