[xilinxc]: Minor change