From 461c32e11e5fa529475962f830664fcd0a1d9bea Mon Sep 17 00:00:00 2001
From: Yatao Li <yatli@microsoft.com>
Date: Wed, 12 Sep 2018 16:07:45 +0800
Subject: [PATCH] ...

---
 contrib/ci/scripts/test_z3_examples_cmake.sh | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/contrib/ci/scripts/test_z3_examples_cmake.sh b/contrib/ci/scripts/test_z3_examples_cmake.sh
index a1de9f375..679fc4a69 100755
--- a/contrib/ci/scripts/test_z3_examples_cmake.sh
+++ b/contrib/ci/scripts/test_z3_examples_cmake.sh
@@ -88,9 +88,6 @@ if [ "X${PYTHON_BINDINGS}" = "X1" ]; then
 fi
 
 if [ "X${DOTNET_BINDINGS}" = "X1" ]; then
-  # Build .NET example
-  # FIXME: Move compliation step into CMake target
-  mcs ${Z3_SRC_DIR}/examples/dotnet/Program.cs /target:exe /out:dotnet_test.exe /reference:Microsoft.Z3.dll /r:System.Numerics.dll
   # Build & Run .NET example
   run_quiet run_non_native_binding dotnet run -p ${Z3_SRC_DIR}/examples/dotnet/dotnet.csproj
 fi