- pretty printer made robust in face of list_nth

[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 7b17db7b202342c5fa218906d48e7ef7f6252640..3b774f8324fae1c58bebb7fd575b42e5578fe0ac 100644 (file)
--- a/helm/software/components/binaries/transcript/types.ml
+++ b/helm/software/components/binaries/transcript/types.ml
@@ -27,7 +27,7 @@ type local = bool
 
 type inline_kind = Con | Ind | Var
 
-type input_kind = Gallina8 | Grafite
+type input_kind = Gallina8 | Grafite of string
 
 type output_kind = Declarative | Procedural