From 5845958986611889fb64516c670571aed75eeb4e Mon Sep 17 00:00:00 2001 From: Sangwoo Joh Date: Thu, 24 Aug 2017 18:17:47 +0900 Subject: [PATCH] Bugfix: get_objectives in ML API --- src/api/ml/z3.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/api/ml/z3.ml b/src/api/ml/z3.ml index c4a4da00c..46fe5bd6d 100644 --- a/src/api/ml/z3.ml +++ b/src/api/ml/z3.ml @@ -1964,7 +1964,7 @@ struct let from_file (x:optimize) (s:string) = Z3native.optimize_from_file (gc x) x s let from_string (x:optimize) (s:string) = Z3native.optimize_from_string (gc x) x s let get_assertions (x:optimize) = AST.ASTVector.to_expr_list (Z3native.optimize_get_assertions (gc x) x) - let get_objectives (x:optimize) = AST.ASTVector.to_expr_list (Z3native.optimize_get_statistics (gc x) x) + let get_objectives (x:optimize) = AST.ASTVector.to_expr_list (Z3native.optimize_get_objectives (gc x) x) end