From 64faa3f42647da25c69941053211492b7f74a35d Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Mon, 6 Oct 2014 18:53:58 +0200
Subject: Removed environment variable for the stdlib_path and added a new
 variable for the configuration file.

---
 driver/Driver.ml | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

(limited to 'driver/Driver.ml')

diff --git a/driver/Driver.ml b/driver/Driver.ml
index 7dacc4d2..18005302 100644
--- a/driver/Driver.ml
+++ b/driver/Driver.ml
@@ -17,11 +17,7 @@ open Timing
 
 (* Location of the compatibility library *)
 
-let stdlib_path = ref(
-  try
-    Sys.getenv "COMPCERT_LIBRARY"
-  with Not_found ->
-    Configuration.stdlib_path)
+let stdlib_path = ref Configuration.stdlib_path
 
 let command cmd =
   if !option_v then begin
-- 
cgit