From 9933c360507ed795eeaff816e99d0d14417956f8 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 15 Apr 2017 17:06:03 +0800 Subject: [PATCH] replace long by int Signed-off-by: Nikolaj Bjorner --- src/api/java/Context.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/api/java/Context.java b/src/api/java/Context.java index da7c692b8..790ffdca7 100644 --- a/src/api/java/Context.java +++ b/src/api/java/Context.java @@ -2090,7 +2090,7 @@ public class Context implements AutoCloseable { /** * Create an at-most-k constraint. */ - public BoolExpr mkAtMost(BoolExpr[] args, long k) + public BoolExpr mkAtMost(BoolExpr[] args, int k) { checkContextMatch(args); return (BoolExpr) Expr.create(this, Native.mkAtmost(nCtx(), args.length, AST.arrayToNative(args), k)); @@ -2099,7 +2099,7 @@ public class Context implements AutoCloseable { /** * Create an at-least-k constraint. */ - public BoolExpr mkAtLeast(BoolExpr[] args, long k) + public BoolExpr mkAtLeast(BoolExpr[] args, int k) { checkContextMatch(args); return (BoolExpr) Expr.create(this, Native.mkAtleast(nCtx(), args.length, AST.arrayToNative(args), k));