From eccadb13cb0fcff9f3717b3b90530fab943d8745 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mika=C3=ABl=20Mayer?= <MikaelMayer@users.noreply.github.com>
Date: Mon, 26 Aug 2024 08:32:26 -0500
Subject: [PATCH] Update Source/DafnyCore/Options/CommonOptionBag.cs

Co-authored-by: Robin Salkeld <salkeldr@amazon.com>
---
 Source/DafnyCore/Options/CommonOptionBag.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Source/DafnyCore/Options/CommonOptionBag.cs b/Source/DafnyCore/Options/CommonOptionBag.cs
index 6ce7a59a203..634f5a206e4 100644
--- a/Source/DafnyCore/Options/CommonOptionBag.cs
+++ b/Source/DafnyCore/Options/CommonOptionBag.cs
@@ -574,7 +574,7 @@ void ParsePrintMode(Option<PrintModes> option, Boogie.CommandLineParseState ps,
 
     DafnyOptions.RegisterLegacyBinding(RawPointers, (options, value) => {
       if (value && options.Get(CommonOptionBag.Target) != "rs") {
-        Console.Error.WriteLine("Error:  --raw-pointers can only be used after --target:rs or -t:rs");
+        Console.Error.WriteLine("Error:  --raw-pointers can only be used with --target:rs or -t:rs");
         System.Environment.Exit(1);
       }
     });