From 6be36f18c604441743bd0f0ffb826f7b6adadfaa Mon Sep 17 00:00:00 2001 From: Bruce Mitchener Date: Mon, 5 Aug 2019 07:31:55 +0700 Subject: [PATCH] Fix typo. --- src/api/z3_api.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/api/z3_api.h b/src/api/z3_api.h index 8acf35d2c..a7aa51c61 100644 --- a/src/api/z3_api.h +++ b/src/api/z3_api.h @@ -3698,7 +3698,7 @@ extern "C" { Z3_func_decl Z3_API Z3_mk_piecewise_linear_order(Z3_context c, Z3_sort a, unsigned id); /** - \brief create a tree ordering lreation over signature \c a identified using index \c id. + \brief create a tree ordering relation over signature \c a identified using index \c id. def_API('Z3_mk_tree_order', FUNC_DECL, (_in(CONTEXT), _in(SORT), _in(UINT))) */