From 5344292853ae38943bbea599b64488be5e92665f Mon Sep 17 00:00:00 2001
From: Andrew Waterman <waterman@cs.berkeley.edu>
Date: Tue, 5 Jan 2016 10:36:25 -0800
Subject: [PATCH] fix help message

---
 spike_main/spike.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/spike_main/spike.cc b/spike_main/spike.cc
index 13983a0..950b108 100644
--- a/spike_main/spike.cc
+++ b/spike_main/spike.cc
@@ -17,8 +17,8 @@ static void help()
 {
   fprintf(stderr, "usage: spike [host options] <target program> [target options]\n");
   fprintf(stderr, "Host Options:\n");
-  fprintf(stderr, "  -p <n>             Simulate <n> processors [default 1]\n");
-  fprintf(stderr, "  -m <n>             Provide <n> MiB of target memory [default 4096]\n");
+  fprintf(stderr, "  -p<n>              Simulate <n> processors [default 1]\n");
+  fprintf(stderr, "  -m<n>              Provide <n> MiB of target memory [default 4096]\n");
   fprintf(stderr, "  -d                 Interactive debug mode\n");
   fprintf(stderr, "  -g                 Track histogram of PCs\n");
   fprintf(stderr, "  -l                 Generate a log of execution\n");
-- 
2.30.2