X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fbinaries%2Ftranscript%2Ftypes.ml;h=f0c8212bc47c3271c94045d895592f3a785aacbc;hb=298868e07163c21863d542136733d24bfbec2482;hp=de7c1036e8cc26ab20e6316e7c157eb7ed95c3c4;hpb=137a822662f81efbbeac7ddc833fc9ffe252a70e;p=helm.git

diff --git a/helm/software/components/binaries/transcript/types.ml b/helm/software/components/binaries/transcript/types.ml
index de7c1036e..f0c8212bc 100644
--- a/helm/software/components/binaries/transcript/types.ml
+++ b/helm/software/components/binaries/transcript/types.ml
@@ -27,6 +27,8 @@ type local = bool
 
 type inline_kind = Con | Ind | Var
 
+type output_kind = Declarative | Procedural
+
 type source = string
 
 type prefix = string