From f50016d8a1ab69ad729182f4c0d01e07bae340d6 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Fri, 14 Jun 2013 13:18:33 +0100
Subject: [PATCH] bugfix in .NET example

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
---
 examples/dotnet/Program.cs | 48 +++++++++++++++++++-------------------
 1 file changed, 24 insertions(+), 24 deletions(-)

diff --git a/examples/dotnet/Program.cs b/examples/dotnet/Program.cs
index 2f9d24fb1..76624fa1c 100644
--- a/examples/dotnet/Program.cs
+++ b/examples/dotnet/Program.cs
@@ -2088,30 +2088,30 @@ namespace test_mapi
                 // These examples need model generation turned on.
                 using (Context ctx = new Context(new Dictionary<string, string>() { { "model", "true" } }))
                 {
-                    //BasicTests(ctx);
-                    //CastingTest(ctx);
-                    //SudokuExample(ctx);
-                    //QuantifierExample1(ctx);
-                    //QuantifierExample2(ctx);
-                    //LogicExample(ctx);
-                    //ParOrExample(ctx);
-                    //FindModelExample1(ctx);
-                    //FindModelExample2(ctx);
-                    //PushPopExample1(ctx);
-                    //ArrayExample1(ctx);
-                    //ArrayExample3(ctx);
-                    //BitvectorExample1(ctx);
-                    //BitvectorExample2(ctx);
-                    //ParserExample1(ctx);
-                    //ParserExample2(ctx);
-                    //ParserExample4(ctx);
-                    //ParserExample5(ctx);
-                    //ITEExample(ctx);
-                    //EvalExample1(ctx);
-                    //EvalExample2(ctx);
-                    //FindSmallModelExample(ctx);
-                    //SimplifierExample(ctx);
-                    //FiniteDomainExample(ctx);
+                    BasicTests(ctx);
+                    CastingTest(ctx);
+                    SudokuExample(ctx);
+                    QuantifierExample1(ctx);
+                    QuantifierExample2(ctx);
+                    LogicExample(ctx);
+                    ParOrExample(ctx);
+                    FindModelExample1(ctx);
+                    FindModelExample2(ctx);
+                    PushPopExample1(ctx);
+                    ArrayExample1(ctx);
+                    ArrayExample3(ctx);
+                    BitvectorExample1(ctx);
+                    BitvectorExample2(ctx);
+                    ParserExample1(ctx);
+                    ParserExample2(ctx);
+                    ParserExample4(ctx);
+                    ParserExample5(ctx);
+                    ITEExample(ctx);
+                    EvalExample1(ctx);
+                    EvalExample2(ctx);
+                    FindSmallModelExample(ctx);
+                    SimplifierExample(ctx);
+                    FiniteDomainExample(ctx);
                     FloatingPointExample(ctx);
                 }