From c1daedb244d1f7586c12749642b0d78ae910e60a Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Wed, 17 Dec 2014 11:33:23 +0100
Subject: Clean up support for common symbols.  Uninitialized "const" symbols
 can be common.

---
 common/Sections.mli | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'common/Sections.mli')

diff --git a/common/Sections.mli b/common/Sections.mli
index ff6c8c95..38b99db0 100644
--- a/common/Sections.mli
+++ b/common/Sections.mli
@@ -20,8 +20,8 @@ type section_name =
   | Section_text
   | Section_data of bool          (* true = init data, false = uninit data *)
   | Section_small_data of bool
-  | Section_const
-  | Section_small_const
+  | Section_const of bool
+  | Section_small_const of bool
   | Section_string
   | Section_literal
   | Section_jumptable
-- 
cgit