diff options
Diffstat (limited to 'python')
| -rw-r--r-- | python/libghdl/__init__.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/python/libghdl/__init__.py b/python/libghdl/__init__.py index 2ae52a4a2..0ac38694a 100644 --- a/python/libghdl/__init__.py +++ b/python/libghdl/__init__.py @@ -73,7 +73,8 @@ def _to_char_p(arg): def set_option(opt): - return libghdl.libghdl__set_option(*_to_char_p(opt)) + "Set option OPT. Return true iff the option is known and handled" + return libghdl.libghdl__set_option(*_to_char_p(opt)) == 0 def analyze_init(): |