Remove UTF-8 character (rust-lang#1113)

Co-authored-by: Adrian Palacios <[email protected]>

Author: 2 people

tests/kani/ProjectionElem/ConstantIndex/main.rs

@@ -2,7 +2,7 @@
 // SPDX-License-Identifier: Apache-2.0 OR MIT
 //! https://doc.rust-lang.org/nightly/nightly-rustc/rustc_middle/mir/enum.ProjectionElem.html
 // ConstantIndex
-// [−]
+// [-]
 // These indices are generated by slice patterns. Easiest to explain by example:
 
 // [X, _, .._, _, _] => { offset: 0, min_length: 4, from_end: false },