diff -r 54d5d185d6e2 -r f824bf8e1579 stage3/fill_candidate_datatypes.hh
--- a/stage3/fill_candidate_datatypes.hh	Tue May 20 08:25:59 2014 +0100
+++ b/stage3/fill_candidate_datatypes.hh	Thu May 29 12:06:22 2014 +0100
@@ -242,7 +242,6 @@
     /********************************************/
     /* B 1.6 Sequential function chart elements */
     /********************************************/
-
     void *visit(transition_condition_c *symbol);
 
     /********************************/