# HG changeset patch
# User luca_milaz
# Date 1720030979 0
# Node ID 33cf340755579a257626f3c99f1b2a0a0105cbbd
# Parent  552e5f44edaa4a42939eb41d9d4604519906bc61
Uploaded

diff -r 552e5f44edaa -r 33cf34075557 marea_2_0/flux_sampling.xml
--- a/marea_2_0/flux_sampling.xml	Wed Jul 03 18:20:43 2024 +0000
+++ b/marea_2_0/flux_sampling.xml	Wed Jul 03 18:22:59 2024 +0000
@@ -27,6 +27,7 @@
         --algorithm $algorithm_param.algorithm
         --n_batches $n_batches
         --n_samples $n_samples
+        --thinning $thinning
         --seed $seed
         --output_format $output_format
         --out_log $log