diff --git a/src/api/dotnet/InterpolationContext.cs b/src/api/dotnet/InterpolationContext.cs index 17e92a40e..3f2feb5a6 100644 --- a/src/api/dotnet/InterpolationContext.cs +++ b/src/api/dotnet/InterpolationContext.cs @@ -30,7 +30,7 @@ namespace Microsoft.Z3 /// /// Constructor. /// - /// + /// public InterpolationContext(Dictionary settings) : base(settings) { } #region Terms