From bfceef439f00a003c19907a8d2c05e809d280899 Mon Sep 17 00:00:00 2001
From: whitequark <whitequark@whitequark.org>
Date: Wed, 17 Jan 2018 01:14:12 +0000
Subject: [PATCH] Add missing parts of f317d1a2.

---
 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 87351ffa7..6c2a45347 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 device