diff options
| author | Oliver Scherer <github35764891676564198441@oli-obk.de> | 2018-11-20 12:29:05 +0100 |
|---|---|---|
| committer | Oliver Scherer <github35764891676564198441@oli-obk.de> | 2018-11-20 12:29:05 +0100 |
| commit | 37fcd5cad5c314632aede576ae5fbbb1c3ede228 (patch) | |
| tree | fc81f416c321344a7ee48821372c595005c39ad2 | |
| parent | 3e081c7e824eab1e5d87462e5e6a46be14c529ea (diff) | |
| download | rust-37fcd5cad5c314632aede576ae5fbbb1c3ede228.tar.gz rust-37fcd5cad5c314632aede576ae5fbbb1c3ede228.zip | |
Grammar nit
| -rw-r--r-- | src/librustc_mir/interpret/machine.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/librustc_mir/interpret/machine.rs b/src/librustc_mir/interpret/machine.rs index 4d8f40c8130..dd247a96fa4 100644 --- a/src/librustc_mir/interpret/machine.rs +++ b/src/librustc_mir/interpret/machine.rs @@ -90,7 +90,7 @@ pub trait Machine<'a, 'mir, 'tcx>: Sized { Clone; /// The memory kind to use for copied statics -- or None if statics should not be mutated - /// and thus any such attempt will cause a `ModifiedStatic` error is raised. + /// and thus any such attempt will cause a `ModifiedStatic` error to be raised. /// Statics are copied under two circumstances: When they are mutated, and when /// `static_with_default_tag` or `find_foreign_static` (see below) returns an owned allocation /// that is added to the memory so that the work is not done twice. |