From 02709aefbceeb64e099bd231ef4f402d4f3e9ec1 Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Sun, 11 Sep 2016 14:06:48 +0200
Subject: [PATCH] remove typo

---
 hermit/tools/proxy.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/hermit/tools/proxy.c b/hermit/tools/proxy.c
index d8ba9dc9d..e77cb491d 100644
--- a/hermit/tools/proxy.c
+++ b/hermit/tools/proxy.c
@@ -458,7 +458,7 @@ int handle_syscalls(int s)
 			//stop_hermit();
 
 			if (arg == -14)
-				fprintf(stderr, "Does HermitCore receive an exception?\n");
+				fprintf(stderr, "Did HermitCore receive an exception?\n");
 			exit(arg);
 			break;
 		}