Fix stray help command (#3382)
authorJuan Hoyos <juan.s.hoyos@outlook.com>
Wed, 14 Sep 2022 20:54:05 +0000 (13:54 -0700)
committerGitHub <noreply@github.com>
Wed, 14 Sep 2022 20:54:05 +0000 (13:54 -0700)
src/SOS/Strike/strike.cpp

index 9950816161a6c8d706a186d9dae7ef0082edccb9..8a18b6b16d067812bf7275fe0ee8bf2e15eb14be 100644 (file)
@@ -3832,7 +3832,7 @@ DECLARE_API(TraverseHeap)
 
     if (nArg != 1)
     {
-        ExtOut("usage: !TraverseHeap [-xml] filename\n");
+        ExtOut("usage: %straverseheap [-xml] filename\n", SOSPrefix);
         return Status;
     }