// Copyright (c) The Diem Core Contributors
// SPDX-License-Identifier: Apache-2.0

pub use move_core_types::vm_status::known_locations::{
    DESIGNATED_DEALER_MODULE, DESIGNATED_DEALER_MODULE_IDENTIFIER,
};
