Fix cloop and warnings#1516

Arul-Sujith wants to merge 1 commit into

celabshq:maincelabshq/libcrux:mainfrom

Arul-Sujith:fix-cloop-and-warningsArul-Sujith/libcrux:fix-cloop-and-warningsCopy head branch name to clipboard