From 433239d5e9af6c16cab7d98c567ba1bb80cfe365 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 21 Nov 2017 18:39:16 -0800
Subject: [PATCH] add solver_from_string to APIs

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/api/java/Solver.java | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/api/java/Solver.java b/src/api/java/Solver.java
index 8eb634e23..a64c4a9c5 100644
--- a/src/api/java/Solver.java
+++ b/src/api/java/Solver.java
@@ -173,17 +173,17 @@ public class Solver extends Z3Object {
     /// <summary>
     /// Load solver assertions from a file.
     /// </summary>
-    public void FromFile(string file) 
+    public void fromFile(String file) 
     {
-        Native.Z3_solver_from_file(Context.nCtx, NativeObject, file);	
+        Native.solverFromFile(getContext().nCtx(), getNativeObject(), file);	
     }
 
     /// <summary>
     /// Load solver assertions from a string.
     /// </summary>
-    public void FromString(string str) 
+    public void fromString(String str) 
     {
-        Native.Z3_solver_from_string(Context.nCtx, NativeObject, str);	
+        Native.solverFromString(getContext().nCtx(), getNativeObject(), str);	
     }