X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fextlib%2Fdune;fp=matita%2Fcomponents%2Fextlib%2Fdune;h=122907eb7ea05b896e19255963b84da964409c49;hb=ab2c76206276daec9863e1c385e8f27a7f899242;hp=83a3784e1f9e572f771658cf69ba53001dc847f6;hpb=19a98b3c9e5d9894fb18eae0e95203ec37323e12;p=helm.git

diff --git a/matita/components/extlib/dune b/matita/components/extlib/dune
index 83a3784e1..122907eb7 100644
--- a/matita/components/extlib/dune
+++ b/matita/components/extlib/dune
@@ -1,6 +1,7 @@
 (library
  (name helm_extlib)
  (libraries str unix camlp5.gramlib)
+ (modules (:standard \ componentsConf))
  (wrapped false))
 (env
   (_