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");