ci: fix typo in diffing

Author: keks

.github/workflows/mlkem-c.yml

@@ -127,13 +127,13 @@ jobs:
         run: |
           libcrux-ml-kem/extracts/common/headers_kill_revs.sh libcrux-ml-kem/extracts/cpp_header_only/generated
           libcrux-ml-kem/extracts/common/headers_kill_revs.sh ~/mlkem-cpp-extraction
-          diff -r libcrux-ml-kem/extracts/cpp_header_only/generated~/mlkem-cpp-extraction
+          diff -r libcrux-ml-kem/extracts/cpp_header_only/generated ~/mlkem-cpp-extraction
 
       - name: Diff Extraction C
         run: |
           libcrux-ml-kem/extracts/common/headers_kill_revs.sh libcrux-ml-kem/extracts/c_header_only/generated
           libcrux-ml-kem/extracts/common/headers_kill_revs.sh ~/mlkem-c-extraction
-          diff -r libcrux-ml-kem/extracts/c_header_only/generated~/mlkem-c-extraction
+          diff -r libcrux-ml-kem/extracts/c_header_only/generated ~/mlkem-c-extraction
 
   build-c:
     needs: [extract-c]