diff options
Diffstat (limited to 'src/sail.odocl')
| -rw-r--r-- | src/sail.odocl | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/sail.odocl b/src/sail.odocl index 445d6b73..87209053 100644 --- a/src/sail.odocl +++ b/src/sail.odocl @@ -1,4 +1,5 @@ ast +ast_util finite_map initial_check lexer @@ -6,10 +7,10 @@ sail parse_ast parser pp -pre_lexer -pre_parser pretty_print process_file reporting_basic +rewriter +specialize type_check util |