alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* wrap/python/spot.py: Typo.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2015-08-21 11:23:11 +02:00
parent 9c922252a6
commit 0b8c418c94
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
wrap/python/spot.py
View file

@ -277,12 +277,12 @@ def translate(formula, *args):
if optm_ != None and optm_ != val: if optm_ != None and optm_ != val:
raise ValueError("optimization level cannot be both {} and {}" raise ValueError("optimization level cannot be both {} and {}"
.format(optm_, val)) .format(optm_, val))
if optm_ == 'high': if val == 'high':
optm_ = postprocessor.High optm_ = postprocessor.High
elif optm_.startswith('med'): elif val.startswith('med'):
optm_ = postprocessor.Medium optm_ = postprocessor.Medium
else: else:
assert(level_ == 'low') assert(val == 'low')
optm_ = postprocessor.Low optm_ = postprocessor.Low
def misc_set(val): def misc_set(val):