checked all 1 and 2 cases

[mc1516pa.git] / modelchecker / toy.screen

diff --git a/modelchecker/toy.screen b/modelchecker/toy.screen
index 8d4f16e..a381e1a 100644 (file)
--- a/modelchecker/toy.screen
+++ b/modelchecker/toy.screen
@@ -1 +1,2 @@
-@$.
+@
+.