From 44300392cb528102d3e339295b49c16a1a9b3640 Mon Sep 17 00:00:00 2001
From: Chris Ryder <chris.ryder@diffblue.com>
Date: Fri, 29 Jun 2018 14:50:24 +0100
Subject: [PATCH] Test

---
 src/goto-instrument/README.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/goto-instrument/README.md b/src/goto-instrument/README.md
index 5be917235ba..0f5a77ab7b4 100644
--- a/src/goto-instrument/README.md
+++ b/src/goto-instrument/README.md
@@ -26,3 +26,5 @@ developers are advised to copy the directory, remove all files apart
 from `main.*`, `parseoptions.*` and the `Makefile` and use these as the
 skeleton of their application. The `doit()` method in `parseoptions.cpp`
 is the preferred location for the top level control for the program.
+
+Dummy commit to test.