X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fbinaries%2Ftranscript%2Foptions.ml;h=eab659fafff729916a8240820d888e41372aea2d;hb=95a14ced97592a4116485f94c6ffa806feb62dbc;hp=fa36624b2b2adb2bc7cbb07b15cfd87b5d4a467a;hpb=f620bf94af6c347926ed1c2328462efab7018b21;p=helm.git

diff --git a/helm/software/components/binaries/transcript/options.ml b/helm/software/components/binaries/transcript/options.ml
index fa36624b2..eab659faf 100644
--- a/helm/software/components/binaries/transcript/options.ml
+++ b/helm/software/components/binaries/transcript/options.ml
@@ -34,3 +34,5 @@ let verbose_escape = ref false
 let comments = ref true
 
 let getter = ref false
+
+let sources = ref ([]: string list)