# HG changeset patch
# User luca_milaz
# Date 1720033832 0
# Node ID 973ecb7509404dcb1fcdff63cc514090bc676f2e
# Parent  1bdc84fe4a881f6dfa4ab4030f96ac60b671158c
Uploaded

diff -r 1bdc84fe4a88 -r 973ecb750940 marea_2_0/flux_sampling.xml
--- a/marea_2_0/flux_sampling.xml	Wed Jul 03 19:08:06 2024 +0000
+++ b/marea_2_0/flux_sampling.xml	Wed Jul 03 19:10:32 2024 +0000
@@ -23,7 +23,7 @@
         --name $names
         --thinning 0
         #if $algorithm_param.algorithm == 'OPTGP':
-        	--thinning $thinning
+        	--thinning $algorithm_param.thinning
         #end if
         --algorithm $algorithm_param.algorithm
         --n_batches $n_batches