Update semant.cc
Merge pull request #2 from bernardomsvieira/patch-2

Update semant.cc