diff options
Diffstat (limited to 'python/m5/config.py')
| -rw-r--r-- | python/m5/config.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/python/m5/config.py b/python/m5/config.py index e1970e672..a93fdefeb 100644 --- a/python/m5/config.py +++ b/python/m5/config.py @@ -936,7 +936,7 @@ class CheckedInt(NumericParamValue): def __init__(self, value): if isinstance(value, str): self.value = toInteger(value) - elif isinstance(value, (int, long)): + elif isinstance(value, (int, long, float)): self.value = long(value) self._check() |