diff options
Diffstat (limited to 'examples/api/java/Combination.java')
| -rw-r--r-- | examples/api/java/Combination.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/api/java/Combination.java b/examples/api/java/Combination.java index 6d34e16c4..0c9ca84d6 100644 --- a/examples/api/java/Combination.java +++ b/examples/api/java/Combination.java @@ -16,7 +16,7 @@ ** The model is displayed using getValue(). **/ -import edu.nyu.acsys.CVC4.*; +import edu.stanford.CVC4.*; public class Combination { private static void prefixPrintGetValue(SmtEngine smt, Expr e, int level) { |