* Pragma_SPARK_Mode: new pragma, to generate SPARK_Mode pragma

c5caff8b · yoogx · 6c2b66fa · c5caff8b
Commit c5caff8b authored Oct 10, 2015 by yoogx
Hide whitespace changes
Inline Side-by-side

Showing with 4 additions and 3 deletions

src/backends/ocarina-backends-ada_tree-nutils.ads src/backends/ocarina-backends-ada_tree-nutils.ads +4 -3

No files found.
--- a/src/backends/ocarina-backends-ada_tree-nutils.ads
+++ b/src/backends/ocarina-backends-ada_tree-nutils.ads
@@ -42,9 +42,9 @@ package Ocarina.Backends.Ada_Tree.Nutils is

   type Token_Type is
     (
-   --   Token name      Token type
-   --   Keywords
-   Tok_Mod,             -- MOD   **** First Keyword
+      --   Token name      Token type
+      --   Keywords
+      Tok_Mod,             -- MOD   **** First Keyword
      Tok_Rem,             -- REM
      Tok_New,             -- NEW
      Tok_Abs,             -- ABS
@@ -425,6 +425,7 @@ package Ocarina.Backends.Ada_Tree.Nutils is
      Pragma_No_Return,
      Pragma_Preelaborate,
      Pragma_Priority,
+      Pragma_SPARK_Mode,
      Pragma_Style_Checks,
      Pragma_Suppress,
      Pragma_Unreferenced,