From aa5023c80cb835d044a2be5ae82a6bbb9e56ac1c Mon Sep 17 00:00:00 2001
From: Guillaume Claret <dev@clarus.me>
Date: Sat, 13 Jan 2024 19:06:14 +0100
Subject: [PATCH] feat: compile in the same version as coq-of-rust

---
 Cargo.lock     | 4 ++--
 Cargo.toml     | 1 +
 rust-toolchain | 8 ++++++++
 3 files changed, 11 insertions(+), 2 deletions(-)
 create mode 100644 rust-toolchain

diff --git a/Cargo.lock b/Cargo.lock
index 4af57453..07545750 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -1075,9 +1075,9 @@ dependencies = [
 
 [[package]]
 name = "proc-macro2"
-version = "1.0.54"
+version = "1.0.76"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "e472a104799c74b514a57226160104aa483546de37e839ec50e3c2e41dd87534"
+checksum = "95fc56cda0b5c3325f5fbbd7ff9fda9e02bb00bb3dac51252d2f1bfa1cb8cc8c"
 dependencies = [
  "unicode-ident",
 ]
diff --git a/Cargo.toml b/Cargo.toml
index ef17a63c..f3977048 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -2,6 +2,7 @@
 members = [
     "programs/*"
 ]
+resolver = "2"
 
 [profile.release]
 overflow-checks = true
diff --git a/rust-toolchain b/rust-toolchain
new file mode 100644
index 00000000..9b4bd4b7
--- /dev/null
+++ b/rust-toolchain
@@ -0,0 +1,8 @@
+[toolchain]
+channel = "nightly-2023-12-15"
+components = [
+  "clippy",
+  "llvm-tools-preview" ,
+  "rustc-dev",
+  "rustfmt"
+]