From ad1f2669cb0739145f8ecff5800d9f8ebead54f2 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Tue, 3 Jul 2018 10:39:47 +0000
Subject: [PATCH] Fix typo seperated -> separated

---
 src/goto-instrument/splice_call.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/goto-instrument/splice_call.cpp b/src/goto-instrument/splice_call.cpp
index 1e45865e352..cf4d33a62f1 100644
--- a/src/goto-instrument/splice_call.cpp
+++ b/src/goto-instrument/splice_call.cpp
@@ -46,7 +46,7 @@ bool splice_call(
   std::vector<std::string> caller_callee;
   if(parse_caller_callee(callercallee, caller_callee))
   {
-    message.error() << "Expecting two function names seperated by a comma"
+    message.error() << "Expecting two function names separated by a comma"
                     << messaget::eom;
     return true;
   }