Restrepo fue honrado por el Congreso de Colombia con la Primera Designatura a la Presidencia de Colombia (Hasta 1994, los Designados reemplazaban al Presidente titular durante sus ausencias).