add support for dumping cyclegraphs as dot files... also eliminate redundant edges...
[model-checker.git] / test / rmwprog.c
index 14929ee..c3a5ea8 100644 (file)
@@ -17,7 +17,6 @@ void user_main()
        thrd_t t1, t2;
 
        atomic_init(&x, 0);
-
        thrd_create(&t1, (thrd_start_t)&a, NULL);
        thrd_create(&t2, (thrd_start_t)&a, NULL);