From 714c51cfb82402c29ee958b745bb2ecd62f95567 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 15 Oct 2010 16:01:23 +0000
Subject: [PATCH] NOTES.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2147 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/NOTES | 1 -
 1 file changed, 1 deletion(-)

diff --git a/prism/NOTES b/prism/NOTES
index bcade9a5..83eca48c 100644
--- a/prism/NOTES
+++ b/prism/NOTES
@@ -9,7 +9,6 @@ Stuff to remove when distributing early copies to people:
 * TODO?
 * examples/des
 * examples/explicit
-* src/explicit/PrismSTPGAsbtractRefine
 
 -----------------------------------------------------------------------