From 26717a49fef60793d9cdd7515fe640cdb900f261 Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Sat, 7 Jun 2014 13:41:46 +0200
Subject: [PATCH] kc705: use string default arg

---
 mibuild/platforms/kc705.py | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/mibuild/platforms/kc705.py b/mibuild/platforms/kc705.py
index e519fa9e9..680de17b7 100644
--- a/mibuild/platforms/kc705.py
+++ b/mibuild/platforms/kc705.py
@@ -81,10 +81,7 @@ _io = [
 		IOStandard("LVCMOS25")),
 ]
 
-def Platform(*args, toolchain=None, **kwargs):
-	if toolchain is None:
-		toolchain = "ise"
-
+def Platform(*args, toolchain="ise", **kwargs):
 	if toolchain == "ise":
 		xilinx_platform = XilinxISEPlatform
 	elif toolchain == "vivado":