X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=modelchecker%2Ftoy.screen;h=87d52be6fe7bd022b003b434af9b8037f4ee1139;hb=f20e4641f467d5e4fdf761592f2e2af8daf28509;hp=8d4f16e79ff517f723351959171bf5f4e112c548;hpb=b9448d600bb0f3249ae08db3a9ecd5f1f7794fda;p=mc1516pa.git

diff --git a/modelchecker/toy.screen b/modelchecker/toy.screen
index 8d4f16e..87d52be 100644
--- a/modelchecker/toy.screen
+++ b/modelchecker/toy.screen
@@ -1 +1 @@
-@$.
+@ $