From 93835eab05da592efaffd6f3ddd82cee135f8c4d Mon Sep 17 00:00:00 2001 From: Bruce Mitchener Date: Mon, 19 Nov 2018 13:04:07 +0700 Subject: [PATCH] Correct Z3_(fixedpoint|optimize)_from_file param doc. --- src/api/z3_fixedpoint.h | 2 +- src/api/z3_optimization.h | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/api/z3_fixedpoint.h b/src/api/z3_fixedpoint.h index b4c3eee49..df1f1461f 100644 --- a/src/api/z3_fixedpoint.h +++ b/src/api/z3_fixedpoint.h @@ -308,7 +308,7 @@ extern "C" { \param c - context. \param f - fixedpoint context. - \param s - string containing SMT2 specification. + \param s - path to file containing SMT2 specification. def_API('Z3_fixedpoint_from_file', AST_VECTOR, (_in(CONTEXT), _in(FIXEDPOINT), _in(STRING))) */ diff --git a/src/api/z3_optimization.h b/src/api/z3_optimization.h index f15d8ff9c..b1c01a386 100644 --- a/src/api/z3_optimization.h +++ b/src/api/z3_optimization.h @@ -252,7 +252,7 @@ extern "C" { \param c - context. \param o - optimize context. - \param s - string containing SMT2 specification. + \param s - path to file containing SMT2 specification. def_API('Z3_optimize_from_file', VOID, (_in(CONTEXT), _in(OPTIMIZE), _in(STRING))) */