fix for a bug reported by black zero (ValueError: invalid literal for int() with base 10: '1-20')

stamparm · stamparm · commit d56f47d530de · 2010-12-12T23:59:55.000Z
diff --git a/lib/core/optiondict.py b/lib/core/optiondict.py
@@ -77,7 +77,7 @@
             "Techniques":    {
                                "timeSec":           "integer",
                                "unionTest":         "boolean",
-                               "uCols":             "integer",
+                               "uCols":             "string",
                                "uChar":             "string"
                              },
 
