From 5f4f4d18d19c2033fa2874f1d7a74e0917dd2570 Mon Sep 17 00:00:00 2001 From: "Celina G. Val" Date: Thu, 21 Sep 2023 11:55:05 -0700 Subject: [PATCH] Change compiler --- kani-compiler/src/main.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/kani-compiler/src/main.rs b/kani-compiler/src/main.rs index 0199642f9a60..8cc62f41ce03 100644 --- a/kani-compiler/src/main.rs +++ b/kani-compiler/src/main.rs @@ -6,6 +6,7 @@ //! //! Like miri, clippy, and other tools developed on the top of rustc, we rely on the //! rustc_private feature and a specific version of rustc. +//! Just change something #![feature(extern_types)] #![recursion_limit = "256"] #![feature(box_patterns)]