add regex power to API and for Java per request

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Mar 16, 2022 · cb9dcb7 · cb9dcb7
1 parent e1929ca
commit cb9dcb7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/api/java/Context.java b/src/api/java/Context.java
@@ -2203,7 +2203,7 @@ public <R extends Sort> ReExpr<R> mkStar(Expr<ReSort<R>> re)
     /**
      * Create power regular expression.
      */
-    public <R extends Sort> ReExpr<R> mkLoop(Expr<ReSort<R>> re, int n)
+    public <R extends Sort> ReExpr<R> mkPower(Expr<ReSort<R>> re, int n)
     {
         return (ReExpr<R>) Expr.create(this, Native.mkRePower(nCtx(), re.getNativeObject(), n));
     }