From 1d9c9bcf7ac074b965bb862cc8d23c6f6ed7b92a Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Tue, 31 Mar 2015 19:51:42 +0200
Subject: [PATCH] Made the InterpolationContext public.

Fixes #20
---
 src/api/dotnet/InterpolationContext.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/dotnet/InterpolationContext.cs b/src/api/dotnet/InterpolationContext.cs
index b5ada1bbd..0f516c0b0 100644
--- a/src/api/dotnet/InterpolationContext.cs
+++ b/src/api/dotnet/InterpolationContext.cs
@@ -13,7 +13,7 @@ namespace Microsoft.Z3
     /// <remarks>For more information on interpolation please refer
     /// too the C/C++ API, which is well documented.</remarks>
     [ContractVerification(true)]
-    class InterpolationContext : Context
+    public class InterpolationContext : Context
     {
 
         /// <summary>