From 5d8d42b1fa133615400f5d073b8408f9abce02dc Mon Sep 17 00:00:00 2001
From: Malte Mues <mmuesly@users.noreply.github.com>
Date: Fri, 5 Feb 2021 01:17:49 +0100
Subject: [PATCH] Update the mkConstant parameter type (#4996)

---
 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 c63b03c85..b6cf690c4 100644
--- a/src/api/java/Context.java
+++ b/src/api/java/Context.java
@@ -2018,7 +2018,7 @@ public class Context implements AutoCloseable {
     /**
      * Concatenate sequences.
      */
-    public <R extends Sort> SeqExpr<R> mkConcat(SeqSort<R>... t)
+    public <R extends Sort> SeqExpr<R> mkConcat(Expr<SeqSort<R>>... t)
     {
         checkContextMatch(t);
         return (SeqExpr<R>) Expr.create(this, Native.mkSeqConcat(nCtx(), t.length, AST.arrayToNative(t)));