From ce09c2ea6dc4fbc92acd435c49c7dcb40650f2e2 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 27 Mar 2023 09:56:09 -0700 Subject: [PATCH] fix build --- examples/java/JavaExample.java | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/examples/java/JavaExample.java b/examples/java/JavaExample.java index 9297dee47bc..f6f171c4652 100644 --- a/examples/java/JavaExample.java +++ b/examples/java/JavaExample.java @@ -2262,13 +2262,13 @@ public void translationExample() { public void stringExample() { System.out.println("String example"); Context ctx = new Context(); - var a = ctx.mkToRe(ctx.mkString("abcd")); - var b = ctx.mkFullRe(ctx.mkReSort(ctx.mkStringSort())); + Expr a = ctx.mkToRe(ctx.mkString("abcd")); + Expr b = ctx.mkFullRe(ctx.mkReSort(ctx.mkStringSort())); System.out.println(a); System.out.println(b); System.out.println(a.getSort()); System.out.println(b.getSort()); - var c = ctx.mkConcat(ctx.mkToRe(ctx.mkString("abc")), + Expr c = ctx.mkConcat(ctx.mkToRe(ctx.mkString("abc")), ctx.mkFullRe(ctx.mkReSort(ctx.mkStringSort())), ctx.mkEmptyRe(ctx.mkReSort(ctx.mkStringSort())), ctx.mkAllcharRe(ctx.mkReSort(ctx.mkStringSort())),