1 files changed, 1 insertions, 0 deletions
diff --git a/cparser/Elab.ml b/cparser/Elab.ml
index a428d17c..42505a2c 100644
--- a/cparser/Elab.ml
+++ b/cparser/Elab.ml
@@ -674,6 +674,7 @@ let rec elab_specifier ?(only = false) loc env specifier =
                     error loc "_Thread_local on auto or register variable";
                     !sto
                 )
+
       | TYPEDEF ->
           if !typedef then
             error loc "multiple uses of 'typedef'";