revert

[mc1516pa.git] / modelchecker / toy.screen

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