From c569538b4ca33975adee75a565ced7c8d8668e45 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 15 Nov 2010 15:44:17 +0000
Subject: [PATCH] NOTES.

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

diff --git a/prism/NOTES b/prism/NOTES
index d9ff92c6..f950d9f7 100644
--- a/prism/NOTES
+++ b/prism/NOTES
@@ -14,7 +14,7 @@ DOC!
 
 timelock reported as deadlock for digital
 verbose has new behaviour now?! (wrt filters)
-pta rewards with digital clocks (just F)
+pta rewards with digital clocks (just F) - no clocks in rew strs though
 
 =======================================================