From 6f358466399cf27656021ea62d487d578c8a9587 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 15 Nov 2010 15:30:29 +0000 Subject: [PATCH] NOTES. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2249 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/NOTES | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/NOTES b/prism/NOTES index ed42c923..d9ff92c6 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 +pta rewards with digital clocks (just F) =======================================================