Update semant.cc
Update semant.cc
Update semant.cc
Merge pull request #3 from iperoyg/bernardo

Bernardo - Merge