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

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

diff --git a/prism/NOTES b/prism/NOTES
index f950d9f7..ff80f3b2 100644
--- a/prism/NOTES
+++ b/prism/NOTES
@@ -32,6 +32,7 @@ Action labels:
 * make action storage optional (when required e.g. for export) (especially for MCs)
 
 Sim:
+* Result object creation pushed into SimEngine
 * tidy doSampling, looking at Vincent's code
 * seed issues (Vlad)
 
@@ -125,8 +126,6 @@ Abstraction/refinement:
 BSCC stuff:
 * regression testing + perf. on ltl stuff with 3 diff options
 
-Code tidy:
-* remove colons from @params
 
 DOC (some time)
 ---------------