diff --git a/ci/get_float_ref_branch_name.sh b/ci/get_float_ref_branch_name.sh
index fe160da02331b04249febb89971c90d729c198a8..407a22a7a00aca87beb06524742e48af2d6a3266 100755
--- a/ci/get_float_ref_branch_name.sh
+++ b/ci/get_float_ref_branch_name.sh
@@ -53,7 +53,7 @@ fi
 # Replace only the first occurrence, as "basop" may be present in the later description
 # If the format is correct, then before "_basop", only numbers can occur
 float_ref_branchname="${branchname/basop/ref}"
-git_result=$(git branch -av)
+git_result=$(git branch -a)
 
 # If the branch does not exist, default to "float-pc"
 if [[ "$git_result" =~ "$float_ref_branchname" ]]; then