diff options
| author | Robert Norton | 2018-11-19 15:27:24 +0000 |
|---|---|---|
| committer | Robert Norton | 2018-11-19 15:27:24 +0000 |
| commit | b891846bef840ecbe5673c3b22cbd0f2cfceef0f (patch) | |
| tree | f40a1626b17a3cb0e373aaca925b32c938f52220 /src/initial_check.ml | |
| parent | 1bc81fa6dcafcfe24fce3685c2eb61f882e6b65c (diff) | |
| parent | 8c2739ace6ddc9b506d8e6782a4075574115cb34 (diff) | |
Merge branch 'latex' into sail2
Diffstat (limited to 'src/initial_check.ml')
| -rw-r--r-- | src/initial_check.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/initial_check.ml b/src/initial_check.ml index 897f3ec2..4dd72980 100644 --- a/src/initial_check.ml +++ b/src/initial_check.ml @@ -920,8 +920,8 @@ let to_ast_def (names, k_env, def_ord) partial_defs def : def_progress envs_out let kids = List.map to_ast_var kids in let nc = to_ast_nexp_constraint k_env nc in ((Finished (DEF_constraint (id, kids, nc))), envs), partial_defs - | Parse_ast.DEF_pragma (_, _, l) -> - typ_error l "Encountered preprocessor directive in initial check" None None None + | Parse_ast.DEF_pragma (pragma, arg, l) -> + ((Finished(DEF_pragma (pragma, arg, l))), envs), partial_defs | Parse_ast.DEF_internal_mutrec _ -> (* Should never occur because of remove_mutrec *) typ_error Parse_ast.Unknown "Internal mutual block found when processing scattered defs" None None None |