Try and fix ext\zing git submodule.

lovettchris · lovettchris · commit 4f3ca4288bda · 2016-02-24T11:52:41.000-08:00
diff --git a/.gitmodules b/.gitmodules
@@ -1,4 +1,4 @@
-[submodule "Ext/Zing"]
+[submodule "Ext/Zing"]
 	path = Ext/Zing
 	url = https://github.com/ZingModelChecker/Zing.git
-	ignore = dirty
+	ignore = dirty
diff --git a/Ext/Zing b/Ext/Zing
@@ -0,0 +1 @@
+Subproject commit ad1e7c625d6a644c493ce88f071eb40a804e2389
