From b59b2b182a6832e1b6ebf3cf7ba4fd1943843b74 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Wed, 1 Jul 2015 17:25:44 +0200
Subject: Removed the version from the compcert.ini file and add it again in a
 separate file.

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

(limited to 'driver/Configuration.ml')

diff --git a/driver/Configuration.ml b/driver/Configuration.ml
index 70131fc6..64f24820 100644
--- a/driver/Configuration.ml
+++ b/driver/Configuration.ml
@@ -104,7 +104,6 @@ let advanced_debug =
   | "false" -> false
   | v -> bad_config "advanced_debug" [v]
 
-let version = get_config_string "version"
 
 type struct_passing_style =
   | SP_ref_callee                       (* by reference, callee takes copy *)
-- 
cgit