Remove minimal rust version.

sybila · Dec 24, 2023 · 941bc1a · 941bc1a
1 parent f785844
commit 941bc1a
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/Cargo.toml b/Cargo.toml
@@ -12,7 +12,6 @@ keywords = ["hctl", "model-checking", "boolean-network", "symbolic", "systems-bi
 categories = ["science", "simulation"]
 license = "MIT"
 exclude = ["benchmark_models", ".github", ".githooks"]
-rust-version = "1.72"
 
 [profile.test]
 opt-level = 3 # to be able to run non-trivial tests