From 9cd8e34252fc9176359c1754a09ce3b02a10abea Mon Sep 17 00:00:00 2001
From: Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
Date: Thu, 7 Feb 2008 23:57:07 +0100
Subject: [PATCH] make headers public.

---
 src/core/wscript | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/core/wscript b/src/core/wscript
index afb4be869..9c7f8e174 100644
--- a/src/core/wscript
+++ b/src/core/wscript
@@ -106,5 +106,9 @@ def build(bld):
         'type-id-default-value.h',
         'value.h',
         'param-spec-helper.h',
+        'int-value.h',
+        'uint-value.h',
+        'fp-value.h',
+        'enum-value.h',
         ]