diff options
Diffstat (limited to 'cparser/Elab.ml')
-rw-r--r-- | cparser/Elab.ml | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/cparser/Elab.ml b/cparser/Elab.ml index e468ab29..0d2cb892 100644 --- a/cparser/Elab.ml +++ b/cparser/Elab.ml @@ -2081,11 +2081,8 @@ let _ = elab_funbody_f := elab_funbody (** * Entry point *) -let elab_preprocessed_file name ic = - let lb = Lexer.init name ic in +let elab_file prog = reset(); - ignore (elab_definitions false (Builtins.environment()) - (Parser.file Lexer.initial lb)); - Lexer.finish(); + ignore (elab_definitions false (Builtins.environment()) prog); elaborated_program() |