From 9cfcef37505e2022c7639c5ecde43827a01bd9e9 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 25 Mar 2011 14:12:09 +0000
Subject: [PATCH] NOTES.

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

diff --git a/prism/NOTES b/prism/NOTES
index 4ea2a1fd..9db55577 100644
--- a/prism/NOTES
+++ b/prism/NOTES
@@ -32,6 +32,7 @@ PRIORITY (next betas)
   - Result object creation pushed into SimEngine?
     Result objects returned from SimEngine + explanation strings
   
+* PTA fix: digital clocks just non-diagonal again for now
 * PTA fix: convex, non-diagonal, etc.
   (see DigitalClocks.java.patch)
   cases to consider: