diff options
Diffstat (limited to 'src/api/java/cvc5/Term.java')
-rw-r--r-- | src/api/java/cvc5/Term.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/api/java/cvc5/Term.java b/src/api/java/cvc5/Term.java index ebf55116b..a935e453f 100644 --- a/src/api/java/cvc5/Term.java +++ b/src/api/java/cvc5/Term.java @@ -19,6 +19,7 @@ import java.math.BigInteger; import java.util.Iterator; import java.util.List; import java.util.NoSuchElementException; +import java.math.BigInteger; public class Term extends AbstractPointer implements Comparable<Term>, Iterable<Term> { |