bioinfo/Sra_toolkit: export docker image

pveber · Nov 13, 2017 · ddc8a32 · ddc8a32
1 parent 3f0a3ba
commit ddc8a32
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/lib/bioinfo/sra_toolkit.mli b/lib/bioinfo/sra_toolkit.mli
@@ -1,6 +1,8 @@
 open Bistro.Std
 open Defs
 
+val env : docker_image
+
 val fastq_dump : sra workflow -> [`sanger] fastq workflow
 
 val fastq_dump_gz :