diff options
Diffstat (limited to 'src/process_file.ml')
| -rw-r--r-- | src/process_file.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/process_file.ml b/src/process_file.ml index 68e5786e..68b08fd4 100644 --- a/src/process_file.ml +++ b/src/process_file.ml @@ -237,4 +237,5 @@ let rewrite_undefined = rewrite [("undefined", fun x -> Rewrites.rewrite_undefin let rewrite_ast_lem = rewrite Rewrites.rewrite_defs_lem let rewrite_ast_ocaml = rewrite Rewrites.rewrite_defs_ocaml let rewrite_ast_sil = rewrite Rewrites.rewrite_defs_sil +let rewrite_ast_interpreter = rewrite Rewrites.rewrite_defs_interpreter let rewrite_ast_check = rewrite Rewrites.rewrite_defs_check |