diff options
Diffstat (limited to 'examples/api/java/FloatingPointArith.java')
-rw-r--r-- | examples/api/java/FloatingPointArith.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/api/java/FloatingPointArith.java b/examples/api/java/FloatingPointArith.java index fe2e3747e..9d2ceb1ae 100644 --- a/examples/api/java/FloatingPointArith.java +++ b/examples/api/java/FloatingPointArith.java @@ -18,7 +18,7 @@ ** IEEE 754-2008 bit-vector to a floating-point number. **/ -import edu.nyu.acsys.CVC4.*; +import edu.stanford.CVC4.*; import java.util.Iterator; public class FloatingPointArith { |