From 20b281858667138b8a2a1469ffae99f21b501695 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 5 Jan 2023 21:31:32 +0100
Subject: [PATCH] camlp5.gramlib does not pull in camlp-streams by default

---
 matita/components/extlib/dune | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
2.39.2