Update prot.cpp