diff options
Diffstat (limited to 'etc/isar/Persistent.thy')
-rw-r--r-- | etc/isar/Persistent.thy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/isar/Persistent.thy b/etc/isar/Persistent.thy index a4ade1f9..f9258ce5 100644 --- a/etc/isar/Persistent.thy +++ b/etc/isar/Persistent.thy @@ -20,7 +20,7 @@ Now start PG and start a process with the Foo logic image. Tests: Process this file, exit, start. - Unprocess, exit, start. [FAILS] + Unprocess, exit, start. [FAILS with Isabelle2002] *) |