From ae08d5534cff5b603c98785da9bd7783e5ee8904 Mon Sep 17 00:00:00 2001
From: Federico Poli <federpoli@gmail.com>
Date: Thu, 28 Sep 2023 14:07:40 +0200
Subject: [PATCH] Improve error message

---
 prusti-viper/src/encoder/procedure_encoder.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prusti-viper/src/encoder/procedure_encoder.rs b/prusti-viper/src/encoder/procedure_encoder.rs
index 1d4183c5198..c65bd9e0ddf 100644
--- 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(_) => {