Remove a piece of code used for debugging and which shouldn't have been committed
Remove a piece of code used for debugging and which shouldn't have been
committed

mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star