Fix compare learners

LearnLib · Jan 2, 2024 · 00d341b · 00d341b
1 parent b4f0a39
commit 00d341b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/compare-learners.sh b/compare-learners.sh
@@ -50,7 +50,7 @@ print_stat() {
     if [ $n -gt 0 ]; then
         avg=$((sum/n))
         std=$(std_dev "${vals[@]}" | sed "s/,/\./")
-        printf "%5d, %6.2f, " $avg $std
+        LC_NUMERIC=C printf "%5d, %6.2f, " $avg $std
     else
         printf ", , "
     fi