Improve error message (#1458)

viperproject · Sep 28, 2023 · 221b865 · 221b865
1 parent 9580905
commit 221b865
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
@@ -1680,7 +1680,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(_) => {