1 files changed, 0 insertions, 1 deletions
diff --git a/src/ast.ml b/src/ast.ml
index c21bd225..17ec2fe8 100644
--- a/src/ast.ml
+++ b/src/ast.ml
@@ -575,7 +575,6 @@ and 'a def =  (* Top-level definition *)
  | DEF_reg_dec of 'a dec_spec (* register declaration *)
  | DEF_comm of 'a dec_comm (* generated comments *)
 
-
 type 
 'a defs =  (* Definition sequence *)
    Defs of ('a def) list