From c36f38cca532c64a2e389d9f149497828e4dbef8 Mon Sep 17 00:00:00 2001
From: George Mitenkov <georgemitenk0v@gmail.com>
Date: Fri, 11 Aug 2023 19:12:56 +0200
Subject: [PATCH] [cleanup] Remove foreign contracts (#9623)

---
 aptos-move/aptos-vm/Cargo.toml               |  1 -
 aptos-move/aptos-vm/src/foreign_contracts.rs | 11 -----------
 aptos-move/aptos-vm/src/lib.rs               |  3 ---
 3 files changed, 15 deletions(-)
 delete mode 100644 aptos-move/aptos-vm/src/foreign_contracts.rs

diff --git a/aptos-move/aptos-vm/Cargo.toml b/aptos-move/aptos-vm/Cargo.toml
index 1839302188366..8e4ca1aefcd41 100644
--- a/aptos-move/aptos-vm/Cargo.toml
+++ b/aptos-move/aptos-vm/Cargo.toml
@@ -66,7 +66,6 @@ proptest = { workspace = true }
 
 [features]
 default = []
-mirai-contracts = []
 fuzzing = ["move-core-types/fuzzing", "move-binary-format/fuzzing", "move-vm-types/fuzzing", "aptos-framework/fuzzing"]
 failpoints = ["fail/failpoints", "move-vm-runtime/failpoints"]
 testing = ["move-unit-test", "aptos-framework/testing"]
diff --git a/aptos-move/aptos-vm/src/foreign_contracts.rs b/aptos-move/aptos-vm/src/foreign_contracts.rs
deleted file mode 100644
index deb39ea38755f..0000000000000
--- a/aptos-move/aptos-vm/src/foreign_contracts.rs
+++ /dev/null
@@ -1,11 +0,0 @@
-// Copyright © Aptos Foundation
-// Parts of the project are originally copyright © Meta Platforms, Inc.
-// SPDX-License-Identifier: Apache-2.0
-
-//! This file contains models of the vm crate's dependencies for use with MIRAI.
-
-pub mod types {
-    pub mod transaction {
-        pub const MAX_TRANSACTION_SIZE_IN_BYTES: usize = 4096;
-    }
-}
diff --git a/aptos-move/aptos-vm/src/lib.rs b/aptos-move/aptos-vm/src/lib.rs
index 4f81b699b601b..2ff4399018e34 100644
--- a/aptos-move/aptos-vm/src/lib.rs
+++ b/aptos-move/aptos-vm/src/lib.rs
@@ -106,9 +106,6 @@ mod access_path_cache;
 pub mod counters;
 pub mod data_cache;
 
-#[cfg(feature = "mirai-contracts")]
-pub mod foreign_contracts;
-
 mod adapter_common;
 pub mod aptos_vm;
 mod aptos_vm_impl;