unused componentsConf module removed

[helm.git] / matita / components / extlib / dune

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