From 14d780fb2b3054e74bd853946df3961aaae30eac Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 2 May 2018 13:21:42 -0700
Subject: [PATCH] fix dotnet example

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 examples/dotnet/Program.cs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/examples/dotnet/Program.cs b/examples/dotnet/Program.cs
index 1ed7b108a..0c2ce66c8 100644
--- a/examples/dotnet/Program.cs
+++ b/examples/dotnet/Program.cs
@@ -976,7 +976,8 @@ namespace test_mapi
 
             using (Context ctx = new Context(new Dictionary<string, string>() { { "MODEL", "true" } }))
             {
-                Expr a = ctx.ParseSMTLIB2File(filename);
+                BoolExpr[] fmls = ctx.ParseSMTLIB2File(filename);
+                BoolExpr a = ctx.MkAnd(fmls);
 
                 Console.WriteLine("SMT2 file read time: " + (System.DateTime.Now - before).TotalSeconds + " sec");