diff options
Diffstat (limited to 'driver/Driver.ml')
| -rw-r--r-- | driver/Driver.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/driver/Driver.ml b/driver/Driver.ml index 76509f41..fec87420 100644 --- a/driver/Driver.ml +++ b/driver/Driver.ml @@ -150,7 +150,7 @@ let compile_c_ast sourcename csyntax ofile = let asm = match Compiler.transf_c_program csyntax with | Errors.OK asm -> - Asmexpand.expand_program (Unusedglob.transf_program asm) + Asmexpand.expand_program asm | Errors.Error msg -> print_error stderr msg; exit 2 in |