From d41897dce96774a762e642d0174fa60abd07c518 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 23 Apr 2007 09:21:31 +0000
Subject: [PATCH] Added Alistair to acknowledgements.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@293 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/README.txt | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/prism/README.txt b/prism/README.txt
index cd12e5df..d041c2d9 100644
--- a/prism/README.txt
+++ b/prism/README.txt
@@ -92,7 +92,8 @@ We also gratefully acknowledge contributions by:
  - Rashid Mehmood
  - Joachim Meyer-Kayser
  - Fabio Somenzi
-
+ - Alistair John Strachan
+ 
 For more details see:
 
   http://www.cs.bham.ac.uk/~dxp/prism/people.php