From 00a5e1af73862b1b1aa29b5a07fe43f80f29c764 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Thu, 4 Dec 2014 15:16:55 +0100
Subject: Removed unused variable and changed the search for the installation
 directory. Use Sys.executable_name instead of Sys.argv.(0).

---
 driver/Configuration.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'driver/Configuration.ml')

diff --git a/driver/Configuration.ml b/driver/Configuration.ml
index 1956b151..aff638e7 100644
--- a/driver/Configuration.ml
+++ b/driver/Configuration.ml
@@ -23,7 +23,7 @@ let _ =
         open_in env_file
       with Not_found ->
         let dir = Sys.getcwd () 
-        and name = Sys.argv.(0) in
+        and name = Sys.executable_name in
         let dirname = if Filename.is_relative name then
           Filename.dirname (Filename.concat dir name)
         else 
-- 
cgit