diff --git a/src/api/java/Context.java b/src/api/java/Context.java
index da242630500..7aaef4801ec 100644
--- a/src/api/java/Context.java
+++ b/src/api/java/Context.java
@@ -2185,7 +2185,7 @@ public final <R extends Sort> ReExpr<SeqSort<R>> mkToRe(Expr<SeqSort<R>> s)
     /**
      * Check for regular expression membership.
      */
-    public final <R extends Sort> BoolExpr mkInRe(Expr<SeqSort<R>> s, Expr<ReSort<R>> re)
+    public final <R extends Sort> BoolExpr mkInRe(Expr<SeqSort<R>> s, ReExpr<SeqSort<R>> re)
     {
         checkContextMatch(s, re);
         return (BoolExpr) Expr.create(this, Native.mkSeqInRe(nCtx(), s.getNativeObject(), re.getNativeObject()));