Auto merge of #54720 - davidtwco:issue-51191, r=nikomatsakis

[rust.git] / src / test / ui / defaulted-never-note.rs

diff --git a/src/test/ui/defaulted-never-note.rs b/src/test/ui/defaulted-never-note.rs
index ac8ac85824edcc34783e3d161d76cdc9280f30f2..b53ef0f5ba823986f5ec9f80a7f04eae2a137a92 100644 (file)
--- a/src/test/ui/defaulted-never-note.rs
+++ b/src/test/ui/defaulted-never-note.rs
@@ -8,7 +8,7 @@
 // option. This file may not be copied, modified, or distributed
 // except according to those terms.
 
-// We need to opt inot the `!` feature in order to trigger the
+// We need to opt into the `!` feature in order to trigger the
 // requirement that this is testing.
 #![feature(never_type)]