X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fcomponents%2Fextlib%2Fdune;fp=matita%2Fcomponents%2Fextlib%2Fdune;h=69b5fbe48db2999f1f44e477f4171d4cefaa65b9;hp=c10cd818e1bdea101943c9f309549e0a60ff88b0;hb=d3d5f731e9c130f5363e6c9bfadbc73315c07612;hpb=ef225b816c82d4fad37993f963804e51152f4dac

diff --git a/matita/components/extlib/dune b/matita/components/extlib/dune
index c10cd818e..69b5fbe48 100644
--- a/matita/components/extlib/dune
+++ b/matita/components/extlib/dune
@@ -1,7 +1,7 @@
 (library
  (name helm_extlib)
  (libraries str unix camlp-streams camlp5.gramlib) ; camlp-streams should be pulled in by camlp5...
- (modules (:standard \ componentsConf))
+ (modules (:standard))
  (wrapped false))
 (env
   (_