diff options
| author | Kathy Gray | 2016-05-12 14:05:30 +0100 |
|---|---|---|
| committer | Kathy Gray | 2016-05-27 10:10:08 +0100 |
| commit | 7b3bec91d88cbf79a5d69b3b6e9a1d761e423b3d (patch) | |
| tree | 1c1eeb07d3969cfe81f4ae70c25ede0f1c7d606f /src/pre_lexer.mll | |
| parent | 249361793931443c71d2097148fa4c7fa1b4bc4b (diff) | |
Add sizeof to sail. Documentation to follow
Diffstat (limited to 'src/pre_lexer.mll')
| -rw-r--r-- | src/pre_lexer.mll | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/pre_lexer.mll b/src/pre_lexer.mll index f6ccd3c2..818f8fe6 100644 --- a/src/pre_lexer.mll +++ b/src/pre_lexer.mll @@ -91,6 +91,7 @@ let kw_table = ("register", (fun x -> Other)); ("scattered", (fun x -> Other)); ("struct", (fun x -> Other)); + ("sizeof", (fun x -> Other)); ("switch", (fun x -> Other)); ("then", (fun x -> Other)); ("true", (fun x -> Other)); |