From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 5 Jan 2023 20:31:32 +0000 (+0100)
Subject: camlp5.gramlib does not pull in camlp-streams by default
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=c5308759873356195c79bf20aaaef97579551cba

camlp5.gramlib does not pull in camlp-streams by default
---

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