[xilinxc]: Fixed minor issue