diff --git a/util.py b/util.py index 986d6d31..d245c2da 100644 --- a/util.py +++ b/util.py @@ -17,7 +17,7 @@ def symbol_info(filename, module_name, symbol_name, cabal = None): result = None - if get_setting_async('enable_hdevtools'): + if common.get_setting_async('enable_hdevtools'): result = hdevtools.hdevtools_info(filename, symbol_name, cabal = cabal) if not result: result = ghcmod.ghcmod_info(filename, module_name, symbol_name, cabal = cabal)