From 917477f93742e927d7bc6488a344ed5bbefd88ef Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Wed, 17 Jan 2018 09:41:47 +0800
Subject: [PATCH] examples: update KC705 DNS (used for CI)

---
 artiq/examples/master/device_db.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/artiq/examples/master/device_db.py b/artiq/examples/master/device_db.py
index 5ae01cd82..ab8146590 100644
--- a/artiq/examples/master/device_db.py
+++ b/artiq/examples/master/device_db.py
@@ -2,7 +2,7 @@
 # The RTIO channel numbers here are for NIST CLOCK on KC705.
 # The list of devices here is not exhaustive.
 
-core_addr = "kc705.lab.m-labs.hk"
+core_addr = "kc705-1.lab.m-labs.hk"
 
 device_db = {
     "core": {