Hasta que fue derogado completamente en 1994.