From 711cea9fc37e777487abc815730aacde2b00aef3 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Tue, 28 Jun 2016 17:04:56 +0200
Subject: Activate advanced debug information for arm, ia32.

The configuration advanced debug is removed and now full debug
information is also generated for ia32 and arm.
Bug 17609
---
 driver/Configuration.mli | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'driver/Configuration.mli')

diff --git a/driver/Configuration.mli b/driver/Configuration.mli
index abfd3ab4..dde9d6fd 100644
--- a/driver/Configuration.mli
+++ b/driver/Configuration.mli
@@ -43,9 +43,6 @@ val has_runtime_lib: bool
 val has_standard_headers: bool
   (** True if CompCert's standard header files is available. *)
 
-val advanced_debug: bool
-  (** True if advanced debug is implement for the Target *)
-
 
 type struct_passing_style =
   | SP_ref_callee                       (* by reference, callee takes copy *)
-- 
cgit