diff --git a/Cargo.lock b/Cargo.lock
index e179120d4db..ec46509f533 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -1145,15 +1145,6 @@ dependencies = [
  "slab",
 ]
 
-[[package]]
-name = "fxhash"
-version = "0.2.1"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "c31b6d751ae2c7f11320402d34e41349dd1016f8d5d45e48c4312bc8625af50c"
-dependencies = [
- "byteorder",
-]
-
 [[package]]
 name = "generic-array"
 version = "0.14.6"
@@ -1521,6 +1512,7 @@ dependencies = [
  "error-chain",
  "jni",
  "log",
+ "rustc-hash",
  "tempfile",
 ]
 
@@ -2109,11 +2101,11 @@ name = "prusti-common"
 version = "0.1.0"
 dependencies = [
  "config",
- "fxhash",
  "itertools",
  "lazy_static",
  "log",
  "prusti-utils",
+ "rustc-hash",
  "serde",
  "uuid",
  "viper",
@@ -2176,6 +2168,7 @@ dependencies = [
  "prusti-common",
  "prusti-utils",
  "reqwest",
+ "rustc-hash",
  "serde",
  "tokio",
  "url",
@@ -2193,11 +2186,12 @@ dependencies = [
 
 [[package]]
 name = "prusti-specs"
-version = "0.1.3"
+version = "0.1.4"
 dependencies = [
  "itertools",
  "proc-macro2",
  "quote",
+ "rustc-hash",
  "serde",
  "serde_json",
  "syn",
@@ -2223,11 +2217,11 @@ name = "prusti-utils"
 version = "0.1.0"
 dependencies = [
  "config",
- "fxhash",
  "itertools",
  "lazy_static",
  "log",
  "nix 0.26.1",
+ "rustc-hash",
  "serde",
  "toml",
  "uuid",
@@ -2778,6 +2772,7 @@ name = "smt-log-analyzer"
 version = "0.1.0"
 dependencies = [
  "csv",
+ "rustc-hash",
 ]
 
 [[package]]
@@ -3324,6 +3319,7 @@ version = "0.1.0"
 dependencies = [
  "proc-macro2",
  "quote",
+ "rustc-hash",
  "syn",
  "tempfile",
 ]