diff options
Diffstat (limited to 'src/GF/Devel/Options.hs')
| -rw-r--r-- | src/GF/Devel/Options.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/GF/Devel/Options.hs b/src/GF/Devel/Options.hs index 14b598225..9a4087096 100644 --- a/src/GF/Devel/Options.hs +++ b/src/GF/Devel/Options.hs @@ -178,7 +178,7 @@ moduleOptDescr = ] where addLibDir x o = return $ o { optLibraryPath = x:optLibraryPath o } - setLibPath x o = return $ o { optLibraryPath = splitSearchPath x } + setLibPath x o = return $ o { optLibraryPath = splitInModuleSearchPath x } preproc x o = return $ o { optPreprocessors = optPreprocessors o ++ [x] } optimize x b o = return $ o { optOptimizations = (if b then (x:) else delete x) (optOptimizations o) } parser x o = return $ o { optBuildParser = x } |