From 334ec57ea442aa6304a528881a00dd1df5a415eb Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Tue, 4 Dec 2012 19:33:01 +0000 Subject: [PATCH] Java API: refactoring Signed-off-by: Christoph M. Wintersteiger --- src/api/java/Params.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/api/java/Params.java b/src/api/java/Params.java index 3bc8b4574..c954c50e5 100644 --- a/src/api/java/Params.java +++ b/src/api/java/Params.java @@ -44,8 +44,8 @@ public class Params extends Z3Object **/ public void Add(String name, boolean value) throws Z3Exception { - Native.paramsSetBool(Context().nCtx(), NativeObject(), Context() - .MkSymbol(name).NativeObject(), (value) ? true : false); + Native.paramsSetBool(Context().nCtx(), NativeObject(), + Context().MkSymbol(name).NativeObject(), value); } /**