From d50c0b7103da9786b08c73f784f35e2fd60eef6a Mon Sep 17 00:00:00 2001
From: Miroslav Stampar <miroslav.stampar@gmail.com>
Date: Thu, 3 Dec 2015 12:16:00 +0100
Subject: [PATCH] Fixes #1581

---
 lib/core/optiondict.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lib/core/optiondict.py b/lib/core/optiondict.py
index 9eb0d121a..5f1bd1fea 100644
--- a/lib/core/optiondict.py
+++ b/lib/core/optiondict.py
@@ -227,6 +227,7 @@ optDict = {
                              },
             "Hidden": {
                                "dummy":             "boolean",
+                               "disablePrecon":     "boolean",
                                "binaryFields":      "string",
                                "profile":           "boolean",
                                "cpuThrottle":       "integer",