Buenas,
Necesito cambiar el scope de ";", definido en ej6, para poder usarlo en ej7.
Estoy usando Infix ";" := ... :export. Esto me tira un warning:
Declaring a scope implicitly is deprecated; use in advance an explicit
"Declare Scope export.". [undeclared-scope,deprecated]
No me doy cuenta como cambiar el scope correctamente.
Agradecería la ayuda.Saludos.