- cicInspect: relevant nodes count updated: letin nodes are not relevant

[helm.git] / helm / software / components / binaries / transcript / types.ml

diff --git a/helm/software/components/binaries/transcript/types.ml b/helm/software/components/binaries/transcript/types.ml
index 28641d3d3d82b856512f022a1b337ab6a97eafe8..1fa7971b761bdccb0596eb6b27d973add38a3993 100644 (file)
--- a/helm/software/components/binaries/transcript/types.ml
+++ b/helm/software/components/binaries/transcript/types.ml
@@ -43,7 +43,7 @@ type item = Heading of (string * int)
           | Line of string
          | Comment of string
           | Unexport of string
-         | Include of string
+         | Include of (bool * string)
           | Coercion of (local * string)
          | Notation of (local * string)
          | Section of (local * string * string)