Skip to content
Browse files

Minor fix

  • Loading branch information...
1 parent 7fb3078 commit aeb9fde3bf6a5b767716e6ada40bf4ca36b8c422 @mvoidex mvoidex committed Mar 16, 2013
Showing with 1 addition and 1 deletion.
  1. +1 −1 hdevtools.py
View
2 hdevtools.py
@@ -25,7 +25,7 @@ def call_hdevtools_and_wait(arg_list, filename = None, cabal = None):
package_db = ghci_package_db()
if package_db:
- ghs_opts.append('-package_db {0}'.format(package_db))
+ ghc_opts.append('-package-db {0}'.format(package_db))
source_dir = get_source_dir(filename)
ghc_opts.append('-i {0}'.format(source_dir))

0 comments on commit aeb9fde

Please sign in to comment.
Something went wrong with that request. Please try again.