From cde062b1d6e0607c745bf47dada594bb4a44c353 Mon Sep 17 00:00:00 2001
From: Guillume DIDIER <guillaume.didier@inria.fr>
Date: Tue, 19 Oct 2021 15:17:44 +0200
Subject: [PATCH] Update Cargo.lock

---
 Cargo.lock | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Cargo.lock b/Cargo.lock
index e5c9597..cc15281 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -357,6 +357,7 @@ dependencies = [
  "cache_utils",
  "flush_flush",
  "flush_reload",
+ "lazy_static",
  "nix",
  "rand",
 ]