From f082735af63e2df6dda8061623e310ff7c6220a6 Mon Sep 17 00:00:00 2001 From: Bruce Mitchener Date: Wed, 17 Oct 2018 22:47:39 +0700 Subject: [PATCH] Fix doxygen warnings. --- src/api/c++/z3++.h | 2 +- src/api/z3_optimization.h | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/api/c++/z3++.h b/src/api/c++/z3++.h index 1b1820909..7083ae468 100644 --- a/src/api/c++/z3++.h +++ b/src/api/c++/z3++.h @@ -277,7 +277,7 @@ namespace z3 { */ sort fpa_rounding_mode(); /** - \breif Sets RoundingMode of FloatingPoints. + \brief Sets RoundingMode of FloatingPoints. */ void set_rounding_mode(rounding_mode rm); /** diff --git a/src/api/z3_optimization.h b/src/api/z3_optimization.h index 8f9e2470c..f15d8ff9c 100644 --- a/src/api/z3_optimization.h +++ b/src/api/z3_optimization.h @@ -146,7 +146,7 @@ extern "C" { Z3_model Z3_API Z3_optimize_get_model(Z3_context c, Z3_optimize o); /** - \brief Retrieve the unsat core for the last #Z3_optimize_chec + \brief Retrieve the unsat core for the last #Z3_optimize_check The unsat core is a subset of the assumptions \c a. def_API('Z3_optimize_get_unsat_core', AST_VECTOR, (_in(CONTEXT), _in(OPTIMIZE)))