From 29feed457cab35cce2510f01c639b3bc9a390a72 Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Tue, 9 Mar 2021 09:58:40 +0000
Subject: [PATCH] Update num requirement from 0.2 to 0.4

Updates the requirements on [num](https://github.com/rust-num/num) to permit the latest version.
- [Release notes](https://github.com/rust-num/num/releases)
- [Changelog](https://github.com/rust-num/num/blob/master/RELEASES.md)
- [Commits](https://github.com/rust-num/num/compare/num-0.2.0...num-0.4.0)

Signed-off-by: dependabot[bot] <support@github.com>
---
 lib/Cargo.toml                     | 2 +-
 utils/abstract-integers/Cargo.toml | 2 +-
 utils/dev/Cargo.toml               | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/lib/Cargo.toml b/lib/Cargo.toml
index ba88e7a125..ad3a438c18 100644
--- a/lib/Cargo.toml
+++ b/lib/Cargo.toml
@@ -10,7 +10,7 @@ readme = "README.md"
 repository = "https://github.com/hacspec/hacspec"
 
 [dependencies]
-num = "0.2"
+num = "0.4"
 secret_integers = { path = "../utils/secret-integers", version = "0.1.7" } #FIXME: publish new version
 abstract_integers = { path = "../utils/abstract-integers", version = "0.1.5" } #FIXME: publish new version
 hacspec-attributes = { path = "../utils/attributes",  optional = true, version = "0.1.0-beta.1" }
diff --git a/utils/abstract-integers/Cargo.toml b/utils/abstract-integers/Cargo.toml
index 9d2b47aa27..f065a22458 100644
--- a/utils/abstract-integers/Cargo.toml
+++ b/utils/abstract-integers/Cargo.toml
@@ -10,4 +10,4 @@ license = "Apache-2.0"
 readme = "README.md"
 
 [dependencies]
-num = "0.2"
+num = "0.4"
diff --git a/utils/dev/Cargo.toml b/utils/dev/Cargo.toml
index b02565f796..b7d0de37ff 100644
--- a/utils/dev/Cargo.toml
+++ b/utils/dev/Cargo.toml
@@ -10,6 +10,6 @@ repository = "https://github.com/hacspec/hacspec"
 hacspec-lib = { path = "../../lib", version = "0.1.0-beta.1" }
 
 rand = "0.7"
-num = "0.2"
+num = "0.4"
 serde_json = "1.0"
 serde = {version = "1.0", features = ["derive"]}