have linear-type-safe source codes of mp3decoder

[IRC.git] / Robust / src / Tests / TaskExample.java

diff --git a/Robust/src/Tests/TaskExample.java b/Robust/src/Tests/TaskExample.java
index 27ff89c4fd0f0e975762abc231e831da0a1bd6fa..8ad37b3409587e5e16194f35283a7fcda99b40cc 100644 (file)
--- a/Robust/src/Tests/TaskExample.java
+++ b/Robust/src/Tests/TaskExample.java
@@ -22,6 +22,7 @@ task Startup(StartupObject s {initialstate}) {
     }
     
     taskexit(s {!initialstate}); /* Turns initial state flag off, so this task won't refire */
+
 }
 
 /* Fails for x=1 */