Fixed typo in Z3TermTransformer

ftsrg · Feb 11, 2021 · 020ba19 · 020ba19
1 parent 9752c06
commit 020ba19
Showing 1 changed file with 1 addition and 1 deletion.
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);
 		};
 	}