From f7528456da2c20c68d6c00a997f6ef12a8486d8f Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@microsoft.com>
Date: Tue, 4 Dec 2012 03:40:21 +0000
Subject: [PATCH] Fix slight inconsistencies in use of \sa
---
src/api/z3_api.h | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/api/z3_api.h b/src/api/z3_api.h
index 07748e0e1..5ef92b931 100644
--- a/src/api/z3_api.h
+++ b/src/api/z3_api.h
@@ -1428,7 +1428,7 @@ extern "C" {
/**
\brief Set a value of a context parameter.
- \sa Use #Z3_global_param_set.
+ \sa Z3_global_param_set
def_API('Z3_update_param_value', VOID, (_in(CONTEXT), _in(STRING), _in(STRING)))
*/
@@ -1437,7 +1437,7 @@ extern "C" {
/**
\brief Return the value of a context parameter.
- \sa Use #Z3_global_param_get
+ \sa Z3_global_param_get
def_API('Z3_get_param_value', BOOL, (_in(CONTEXT), _in(STRING), _out(STRING)))
*/
@@ -1707,7 +1707,7 @@ extern "C" {
use the APIs for creating numerals and pass a numeric
constant together with the sort returned by this call.
- \sa Z3_get_finite_domain_sort_size.
+ \sa Z3_get_finite_domain_sort_size
def_API('Z3_mk_finite_domain_sort', SORT, (_in(CONTEXT), _in(SYMBOL), _in(UINT64)))
*/