From 77a9dde0278bbec0d014c1b97795aa158473bf7a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= <cedric.pasteur@ens.fr>
Date: Wed, 15 Sep 2010 10:27:53 +0200
Subject: [PATCH] Fixed problem with stdlib

The preprocessor has to parse the compiler_options.ml
file now.
---
 compiler/utilities/_tags        | 1 -
 compiler/utilities/global/_tags | 1 +
 2 files changed, 1 insertion(+), 1 deletion(-)
 create mode 100644 compiler/utilities/global/_tags

diff --git a/compiler/utilities/_tags b/compiler/utilities/_tags
index 847b80e..d04f1bc 100644
--- a/compiler/utilities/_tags
+++ b/compiler/utilities/_tags
@@ -1,2 +1 @@
 <global>:include
-<misc.ml>: camlp4o, use_preproc
diff --git a/compiler/utilities/global/_tags b/compiler/utilities/global/_tags
new file mode 100644
index 0000000..d422171
--- /dev/null
+++ b/compiler/utilities/global/_tags
@@ -0,0 +1 @@
+<compiler_options.ml>: camlp4o, use_preproc