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=c10cd818e1bdea101943c9f309549e0a60ff88b0;hp=122907eb7ea05b896e19255963b84da964409c49;hb=20b281858667138b8a2a1469ffae99f21b501695;hpb=85ced2245b24d2542b564a8240e0e0a65f24fed3

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