diff options
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 { |