Change compiler

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)]