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":