Update avalia.cpp