diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2013-12-10 16:06:34 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2013-12-10 16:06:34 +0000 |
| commit | 97d56065c4f03d7004c1f32ede2ff93ced1e7757 (patch) | |
| tree | ee452d4d386b4808bfe2088f1a09ac38cc3983f6 /src/runtime/java/org | |
| parent | d7847f2f1378ca2a472daea23fc70ce87bae4867 (diff) | |
load/unload in the Java binding
Diffstat (limited to 'src/runtime/java/org')
| -rw-r--r-- | src/runtime/java/org/grammaticalframework/pgf/Concr.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/runtime/java/org/grammaticalframework/pgf/Concr.java b/src/runtime/java/org/grammaticalframework/pgf/Concr.java index 1594dfa57..fad1e9086 100644 --- a/src/runtime/java/org/grammaticalframework/pgf/Concr.java +++ b/src/runtime/java/org/grammaticalframework/pgf/Concr.java @@ -1,5 +1,6 @@ package org.grammaticalframework.pgf; +import java.io.*; import java.util.*; public class Concr { |