fix typo pragma

Author: waderwu

src/main/grammars/datalog.bnf

@@ -26,7 +26,7 @@
     ELSE_DIRECTIVE = "#else"
     ENDIF_DIRECTIVE = "#endif"
     DEFINE_DIRECTIVE = "#define"
-    PARAGMA_DIRECTIVE = "#paragma"
+    PRAGMA_DIRECTIVE_ = "#pragma"
 
     FLOAT_TYPE = "float"
     NUMBER_TYPE = "number"
@@ -158,7 +158,7 @@ private ProgramElement_first ::= (
     ".input" | ".output" | ".printsize" |
     ".pragma" |
     ".symbol_type" | ".number_type" |
-    DEFINE_DIRECTIVE | IF_DIRECTIVE | ELSE_DIRECTIVE | IFDEF_DIRECTIVE | IFNDEF_DIRECTIVE | ENDIF_DIRECTIVE | INCLUDE_DIRECTIVE | PARAGMA_DIRECTIVE |
+    DEFINE_DIRECTIVE | IF_DIRECTIVE | ELSE_DIRECTIVE | IFDEF_DIRECTIVE | IFNDEF_DIRECTIVE | ENDIF_DIRECTIVE | INCLUDE_DIRECTIVE | PRAGMA_DIRECTIVE_ |
     IDENTIFIER)
 
 
@@ -188,7 +188,7 @@ Preprocessor ::= (IF_DIRECTIVE IDENTIFIER ("<" | "==" | ">") Constant)
                | (IFNDEF_DIRECTIVE IDENTIFIER)
                | ENDIF_DIRECTIVE
                | Include
-               | (PARAGMA_DIRECTIVE IDENTIFIER)
+               | (PRAGMA_DIRECTIVE_ IDENTIFIER)
                | (MacroDecl (LINE_BREAK | <<eof>>))
                | MacroInvocation
 

src/main/grammars/datalog.flex

@@ -56,7 +56,7 @@ MACRO_CONTINUATION = \\[ \t\f]*{LINE_BREAK}
   {WHITE_SPACE}         { return WHITE_SPACE; }
 
   "#include"            { return INCLUDE_DIRECTIVE; }
-  "#paragma"            { return PARAGMA_DIRECTIVE; }
+  "#pragma"            { return PRAGMA_DIRECTIVE_; }
   "#if"                 {return IF_DIRECTIVE; }
   "#ifdef"              { return IFDEF_DIRECTIVE; }
   "#ifndef"             { return IFNDEF_DIRECTIVE; }

src/main/kotlin/com/lfrobeen/datalog/ide/highlight/DatalogSyntaxHighlighter.kt

@@ -36,7 +36,7 @@ class DatalogSyntaxHighlighter : SyntaxHighlighterBase() {
 
             // IDENTIFIER -> DatalogColors.IDENTIFIER
 
-            DEFINE_DIRECTIVE, INCLUDE_DIRECTIVE, PARAGMA_DIRECTIVE,
+            DEFINE_DIRECTIVE, INCLUDE_DIRECTIVE, PRAGMA_DIRECTIVE_,
             IF_DIRECTIVE, ELSE_DIRECTIVE, IFDEF_DIRECTIVE, IFNDEF_DIRECTIVE, ENDIF_DIRECTIVE ->
                 DatalogColors.PREPROCESSOR
 

src/main/kotlin/com/lfrobeen/datalog/lang/completion/DatalogKeywordCompletionContributor.kt

@@ -32,7 +32,7 @@ class DatalogKeywordCompletionContributor : CompletionContributor() {
                 "#ifndef",
                 "#endif",
                 "#define",
-                "#paragma",
+                "#pragma",
             )
         )
     }