fix how we find the directory of the Cryptol distribution

closes #113
GaloisInc · Sep 25, 2014 · e1aa2e7 · e1aa2e7
1 parent 92e7f1b
commit e1aa2e7
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/Cryptol/ModuleSystem/Env.hs b/src/Cryptol/ModuleSystem/Env.hs
@@ -28,7 +28,6 @@ import System.Environment.Executable(splitExecutablePath)
 import System.FilePath ((</>), normalise, joinPath, splitPath)
 import qualified Data.List as List
 
-
 -- Module Environment ----------------------------------------------------------
 
 data ModuleEnv = ModuleEnv
@@ -44,7 +43,7 @@ initialModuleEnv :: IO ModuleEnv
 initialModuleEnv  = do
   dataDir <- getDataDir
   (binDir, _) <- splitExecutablePath
-  let instDir = normalise . joinPath . init . splitPath $ binDir
+  let instDir = normalise . joinPath . init . init . splitPath $ binDir
   return ModuleEnv
     { meLoadedModules = mempty
     , meNameSeeds     = T.nameSeeds