Update Source/DafnyCore/Options/CommonOptionBag.cs

Co-authored-by: Robin Salkeld <[email protected]>
dnezam · Aug 26, 2024 · eccadb1 · eccadb1
1 parent a0265d8
commit eccadb1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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);
       }
     });