kc705: use string default arg

diff --git a/mibuild/platforms/kc705.py b/mibuild/platforms/kc705.py
index e519fa9e9e8bf80dabd0432782c35dc7fa9ffffe..680de17b7520f6135781fea0257d51654ec2e9fe 100644 (file)
--- 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":