Improve error message

viperproject · Sep 28, 2023 · ae08d55 · ae08d55
1 parent 24bd4c5
commit ae08d55
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/prusti-viper/src/encoder/procedure_encoder.rs b/prusti-viper/src/encoder/procedure_encoder.rs
@@ -1640,7 +1640,7 @@ impl<'p, 'v: 'p, 'tcx: 'v> ProcedureEncoder<'p, 'v, 'tcx> {
             }
             mir::Rvalue::AddressOf(_, _) => {
                 return Err(SpannedEncodingError::unsupported(
-                    "raw addresses of expressions or casting a reference to a raw pointer are not supported", span
+                    "raw addresses of expressions and casts from references to raw pointers are not supported", span
                 ));
             }
             mir::Rvalue::ThreadLocalRef(_) => {