Merge pull request #103 from ftsrg/arraywrite-bugfix

Fixed typo in Z3TermTransformer
ftsrg · Feb 11, 2021 · b1fa367 · b1fa367
2 parents 9752c06 + 46026e8
commit b1fa367
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/build.gradle.kts b/build.gradle.kts
@@ -10,7 +10,7 @@ buildscript {
 
 allprojects {
     group = "hu.bme.mit.inf.theta"
-    version = "2.9.2"
+    version = "2.9.3"
 
     apply(from = rootDir.resolve("gradle/shared-with-buildSrc/mirrors.gradle.kts"))
 }

diff --git a/subprojects/common/solver-z3/src/main/java/hu/bme/mit/theta/solver/z3/Z3TermTransformer.java b/subprojects/common/solver-z3/src/main/java/hu/bme/mit/theta/solver/z3/Z3TermTransformer.java
@@ -418,7 +418,7 @@ private TriFunction<com.microsoft.z3.Expr, Model, List<Decl<?>>, Expr<?>> exprTe
 			checkArgument(args.length == 3, "Number of arguments must be three");
 			final Expr<?> op1 = transform(args[0], model, vars);
 			final Expr<?> op2 = transform(args[1], model, vars);
-			final Expr<?> op3 = transform(args[1], model, vars);
+			final Expr<?> op3 = transform(args[2], model, vars);
 			return function.apply(op1, op2, op3);
 		};
 	}