Fixed up another canonical misuse, changed wording of alias reporting to see the...

[IRC.git] / Robust / src / Benchmarks / Ownership / SchedulingJGFSeries.txt

diff --git a/Robust/src/Benchmarks/Ownership/SchedulingJGFSeries.txt b/Robust/src/Benchmarks/Ownership/SchedulingJGFSeries.txt
index bdb8c0918231e33304a89f192f1fa25606f71f7f..f968eaf0067b433881b41711fa5c107409131d7d 100644 (file)
--- a/Robust/src/Benchmarks/Ownership/SchedulingJGFSeries.txt
+++ b/Robust/src/Benchmarks/Ownership/SchedulingJGFSeries.txt
@@ -1,6 +1,6 @@
 Conducting ownership analysis with allocation depth = 1
 ---------t1(StartupObject s)--------
-Task t1(StartupObject s) contains no aliases between flagged objects.
+No aliases between flagged objects in Task t1(StartupObject s).
 
 ---------t2(SeriesRunner sr)--------
-Task t2(SeriesRunner sr) contains no aliases between flagged objects.
+No aliases between flagged objects in Task t2(SeriesRunner sr).