diff options
Diffstat (limited to 'examples/api/java/CVC4Streams.java')
| -rw-r--r-- | examples/api/java/CVC4Streams.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/api/java/CVC4Streams.java b/examples/api/java/CVC4Streams.java index 8e395b512..e09c1b6f7 100644 --- a/examples/api/java/CVC4Streams.java +++ b/examples/api/java/CVC4Streams.java @@ -15,7 +15,7 @@ **/ import java.io.*; -import edu.nyu.acsys.CVC4.*; +import edu.stanford.CVC4.*; public class CVC4Streams { public static void main(String[] args) throws IOException { |