[xilinxc]: Fixed minor issue introduced in last commits
Merge branch 'master' of https://github.com/weblabdeusto/weblabdeusto