diff options
Diffstat (limited to 'src/compiler/GF/Infra/UseIO.hs')
| -rw-r--r-- | src/compiler/GF/Infra/UseIO.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/GF/Infra/UseIO.hs b/src/compiler/GF/Infra/UseIO.hs index fe1d01423..aa0c7d7ff 100644 --- a/src/compiler/GF/Infra/UseIO.hs +++ b/src/compiler/GF/Infra/UseIO.hs @@ -54,7 +54,7 @@ errOptIO os e m = case m of return e -} type FileName = String -type InitPath = String +type InitPath = String -- ^ the directory portion of a pathname type FullPath = String gfLibraryPath = "GF_LIB_PATH" |