From d4a1beebcb2d7f1b6c7c21ddef9dce273b540feb Mon Sep 17 00:00:00 2001
From: Mathieu Soysal <43273304+MathieuSoysal@users.noreply.github.com>
Date: Sun, 3 Mar 2024 17:16:02 +0000
Subject: [PATCH] feat: Add prusti-contracts dependency

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

diff --git a/Cargo.toml b/Cargo.toml
index f07a6a5..07b473f 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -11,3 +11,4 @@ edition = "2021"
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dev-dependencies]
+prusti-contracts = "0.2.0"
\ No newline at end of file