# HG changeset patch
# User luca_milaz
# Date 1719950400 0
# Node ID c11d1e0afec7f9e5b80db753ff7cc4302c1272f0
# Parent  e32ee8b88c2e145460f64beed71a6f2e272f9470
Uploaded

diff -r e32ee8b88c2e -r c11d1e0afec7 marea_2_0/flux_sampling.xml
--- a/marea_2_0/flux_sampling.xml	Tue Jul 02 19:54:21 2024 +0000
+++ b/marea_2_0/flux_sampling.xml	Tue Jul 02 20:00:00 2024 +0000
@@ -16,6 +16,7 @@
         --name $input.element_identifier
         #if $algorithm_param.algorithm == 'OPTGP':
         	--thinning $thinning
+        #end if
         --n_batches $n_batches
         --n_samples $n_samples
         --seed $seed