Change fatals into aborts in parser

src/kernel_internals/parsing/clexer.mll

@@ -236,15 +236,15 @@ let init_lexicon _ =
          prevents duplicate error messages due to parsing errors. *)
       ("_Alignas",
        fun loc ->
-         Kernel.fatal ~source:(fst loc)
+         Kernel.abort ~source:(fst loc)
            "_Alignas is currently unsupported by Frama-C.");
       ("_Alignof",
        fun loc ->
-         Kernel.fatal ~source:(fst loc)
+         Kernel.abort ~source:(fst loc)
            "_Alignof is currently unsupported by Frama-C.");
       ("_Complex",
        fun loc ->
-         Kernel.fatal ~source:(fst loc)
+         Kernel.abort ~source:(fst loc)
            "_Complex is currently unsupported by Frama-C.");
       ("_Generic",
        fun loc ->
@@ -252,7 +252,7 @@ let init_lexicon _ =
          GENERIC loc);
       ("_Imaginary",
        fun loc ->
-         Kernel.fatal ~source:(fst loc)
+         Kernel.abort ~source:(fst loc)
            "_Imaginary is currently unsupported by Frama-C.");
      ]