From 43c2ccb29a5fc13cd7328ce54e2febdecd0901bb Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 16 Aug 2017 16:38:48 -0700 Subject: [PATCH] add missing functions to serialize optimize benchmarks for Java #1215 Signed-off-by: Nikolaj Bjorner --- src/api/java/Optimize.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/api/java/Optimize.java b/src/api/java/Optimize.java index 0b0a5bdaf..bc2232888 100644 --- a/src/api/java/Optimize.java +++ b/src/api/java/Optimize.java @@ -302,7 +302,7 @@ public class Optimize extends Z3Object { * Parse an SMT-LIB2 file with optimization objectives and constraints. * The parsed constraints and objectives are added to the optimization context. */ - public void fromFile(string file) + public void fromFile(String file) { Native.optimizeFromFile(getContext().nCtx(), getNativeObject(), file); } @@ -310,7 +310,7 @@ public class Optimize extends Z3Object { /** * Similar to FromFile. Instead it takes as argument a string. */ - public void fromString(string s) + public void fromString(String s) { Native.optimizeFromString(getContext().nCtx(), getNativeObject(), s); }