From b386b84f34b2995147a264c9efc97465592ec974 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 31 Mar 2023 02:55:55 -0700
Subject: [PATCH] #6658

---
 src/api/java/Context.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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()));