mirror of
https://github.com/Z3Prover/z3
synced 2025-07-17 09:56:39 +00:00
Merge pull request #21 from wintersteiger/unstable
Made the InterpolationContext public.
This commit is contained in:
commit
7fe337daef
1 changed files with 1 additions and 1 deletions
|
@ -13,7 +13,7 @@ namespace Microsoft.Z3
|
||||||
/// <remarks>For more information on interpolation please refer
|
/// <remarks>For more information on interpolation please refer
|
||||||
/// too the C/C++ API, which is well documented.</remarks>
|
/// too the C/C++ API, which is well documented.</remarks>
|
||||||
[ContractVerification(true)]
|
[ContractVerification(true)]
|
||||||
class InterpolationContext : Context
|
public class InterpolationContext : Context
|
||||||
{
|
{
|
||||||
|
|
||||||
/// <summary>
|
/// <summary>
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue