From cffc07139d2bb4da9e30c52caf5d1a7db8230486 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 23 Nov 2010 22:10:34 +0000
Subject: [PATCH] NOTES.

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

diff --git a/prism/NOTES b/prism/NOTES
index ff80f3b2..b6228892 100644
--- a/prism/NOTES
+++ b/prism/NOTES
@@ -22,6 +22,8 @@ TODO (before public release)
 ----------------------------
 
 Filters, property semantics, etc.
+* {}-filters should be "first", not "range" for 1-state filters
+  (need to move invisible filter creation into StateModelChecker I think)
 * Integer-valued props displayed as doubles when printed as vector
 * Intervals (e.g. for multiple initial states) plotted in graphs