//This file generated automatically from the MARIUS LP system, please do not edit.

public class Carretera {

public void alojar(AutoIF carro) {
   carro.correr();
}

} //End of class Carretera