Branched paramodulation for CNF (Horn clauses)

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

diff --git a/helm/software/components/binaries/transcript/options.ml b/helm/software/components/binaries/transcript/options.ml
index fa36624b2b2adb2bc7cbb07b15cfd87b5d4a467a..eab659fafff729916a8240820d888e41372aea2d 100644 (file)
--- 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)