mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-19 20:33:38 +00:00
Code Activity

fix doc bug

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2014-08-09 11:41:04 +09:00
parent 0df0174d62
commit 47ac5c0633
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/api/dotnet/Context.cs
View file

@ -3523,7 +3523,7 @@ namespace Microsoft.Z3
/// </summary> /// </summary>
/// <remarks> /// <remarks>
/// The list of all configuration parameters can be obtained using the Z3 executable: /// The list of all configuration parameters can be obtained using the Z3 executable:
/// <c>z3.exe -ini?</c> /// <c>z3.exe -p</c>
/// Only a few configuration parameters are mutable once the context is created. /// Only a few configuration parameters are mutable once the context is created.
/// An exception is thrown when trying to modify an immutable parameter. /// An exception is thrown when trying to modify an immutable parameter.
/// </remarks> /// </remarks>