From 7ecb6f52442ae3057e6c80c9af1bfdd929f64bf1 Mon Sep 17 00:00:00 2001
From: Guillume DIDIER <guillaume.didier@inria.fr>
Date: Thu, 10 Jun 2021 11:20:34 +0200
Subject: [PATCH] Rust nightly update - covert_channel_benchmark

---
 covert_channels_benchmark/Cargo.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/covert_channels_benchmark/Cargo.toml b/covert_channels_benchmark/Cargo.toml
index 03bad90..c04a216 100644
--- a/covert_channels_benchmark/Cargo.toml
+++ b/covert_channels_benchmark/Cargo.toml
@@ -10,7 +10,7 @@ edition = "2018"
 covert_channels_evaluation = { path = "../covert_channels_evaluation" }
 flush_flush = { path = "../flush_flush" }
 flush_reload = { path = "../flush_reload" }
-nix = "0.18.0"
+nix = "0.20.0"
 basic_timing_cache_channel = { path = "../basic_timing_cache_channel" }
 cache_utils = { path = "../cache_utils" }