mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 04:03:39 +00:00
Code Activity

Fixed comment

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2016-07-28 18:06:26 +01:00
parent 3587baaf24
commit 0d83f99d8d
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -30,7 +30,7 @@ namespace Microsoft.Z3
/// <summary> /// <summary>
/// Constructor. /// Constructor.
/// </summary> /// </summary>
/// <remarks><seealso cref="Context.Context(Dictionary&lt;string, string&gt;)"/></remarks> /// <remarks><seealso cref="Context"/></remarks>
public InterpolationContext(Dictionary<string, string> settings) : base(settings) { } public InterpolationContext(Dictionary<string, string> settings) : base(settings) { }
#region Terms #region Terms