From b4b226789070af72720b222d1961bf0c49fce8e2 Mon Sep 17 00:00:00 2001
From: Tim Kuipers <t.kuipers@ultimaker.com>
Date: Thu, 3 Mar 2016 12:29:39 +0100
Subject: [PATCH] JSON: fix: rigidbot printers had duplicate id

---
 resources/machines/RigidBot.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/resources/machines/RigidBot.json b/resources/machines/RigidBot.json
index c0737afc51..1901514d6b 100644
--- a/resources/machines/RigidBot.json
+++ b/resources/machines/RigidBot.json
@@ -1,5 +1,5 @@
 {
-    "id": "rigidbotbig",
+    "id": "rigidbot",
     "version": 1, 
     "name": "RigidBot",
     "manufacturer": "Other",