From 87c3b5ee5140b758e3dff863b39b0e9128250b02 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 15 Apr 2017 15:29:02 +0800
Subject: [PATCH] replace uint by long
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
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 9fe4e0c38..4a443f171 100644
--- a/src/api/java/Context.java
+++ b/src/api/java/Context.java
@@ -2026,7 +2026,7 @@ public class Context implements AutoCloseable {
/**
* Take the lower and upper-bounded Kleene star of a regular expression.
*/
- public ReExpr mkLoop(ReExpr re, uint lo, uint hi)
+ public ReExpr mkLoop(ReExpr re, long lo, long hi)
{
return (ReExpr) Expr.create(this, Native.mkReLoop(nCtx(), re.getNativeObject(), lo, hi));
}
@@ -2034,7 +2034,7 @@ public class Context implements AutoCloseable {
/**
* Take the lower-bounded Kleene star of a regular expression.
*/
- public ReExpr mkLoop(ReExpr re, uint lo)
+ public ReExpr mkLoop(ReExpr re, long lo)
{
return (ReExpr) Expr.create(this, Native.mkReLoop(nCtx(), re.getNativeObject(), lo, 0));
}