update fingerprint in test case

GaloisInc · Dec 19, 2024 · dd7dbf5 · dd7dbf5
1 parent ecfdd4c
commit dd7dbf5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/cryptol-remote-api/python/tests/cryptol/test_filedeps.py b/cryptol-remote-api/python/tests/cryptol/test_filedeps.py
@@ -10,7 +10,7 @@ def test_FileDeps(self) -> None:
         connect(verify=False)
         path = str(Path('tests','cryptol','test-files','Id.cry'))
         result = file_deps(path,True)
-        self.assertEqual(result['fingerprint'],"8A49C6A461AF276DF56C4FE4279BCFC51D891214")
+        self.assertEqual(result['fingerprint'],"8316fb4e38d33ec3b9f89d355597c058b2e4baf653bf18dc4ead7e166a8a32f8")
         self.assertEqual(result['foreign'],[])
         self.assertEqual(result['imports'],['Cryptol'])
         self.assertEqual(result['includes'],[])