diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2023-08-21 22:16:01 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-08-21 22:16:01 +0200 |
| commit | 5a59e94513fdf21387b7b72f976eafd913f9dd4d (patch) | |
| tree | 93d64aa6050c5cb03379f898261747ceb18e0b91 | |
| parent | fe5f5912579d02c4e6088c89574493dfa988531a (diff) | |
| parent | 44cc3105b13f0e2dcc9aec8d019dc40011104bc5 (diff) | |
| download | rust-5a59e94513fdf21387b7b72f976eafd913f9dd4d.tar.gz rust-5a59e94513fdf21387b7b72f976eafd913f9dd4d.zip | |
Rollup merge of #115044 - RalfJung:smir, r=spastorino
stable_mir: docs clarification
| -rw-r--r-- | compiler/rustc_smir/src/stable_mir/mod.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_smir/src/stable_mir/mod.rs b/compiler/rustc_smir/src/stable_mir/mod.rs index 19061742b64..2ae334c6a95 100644 --- a/compiler/rustc_smir/src/stable_mir/mod.rs +++ b/compiler/rustc_smir/src/stable_mir/mod.rs @@ -1,6 +1,6 @@ //! Module that implements the public interface to the Stable MIR. //! -//! This module shall contain all type definitions and APIs that we expect 3P tools to invoke to +//! This module shall contain all type definitions and APIs that we expect third-party tools to invoke to //! interact with the compiler. //! //! The goal is to eventually move this module to its own crate which shall be published on |