diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-11-10 11:05:02 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-11-10 11:05:02 +0100 |
| commit | a3ec645b5ae36c54988f95057f37693edbad02c5 (patch) | |
| tree | c40bad8b98a9f9d802657b487d5916c2bc85a6ba /backend/PrintAsm.ml | |
| parent | 2bf69a09c20c52685ce3c1933577b9aaa5e38e51 (diff) | |
| download | compcert-kvx-a3ec645b5ae36c54988f95057f37693edbad02c5.tar.gz compcert-kvx-a3ec645b5ae36c54988f95057f37693edbad02c5.zip | |
Remove no longer used function. Bug 22525
Diffstat (limited to 'backend/PrintAsm.ml')
| -rw-r--r-- | backend/PrintAsm.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/backend/PrintAsm.ml b/backend/PrintAsm.ml index b489bc11..44c6b409 100644 --- a/backend/PrintAsm.ml +++ b/backend/PrintAsm.ml @@ -39,7 +39,6 @@ module Printer(Target:TARGET) = let print_function oc name fn = Hashtbl.clear current_function_labels; - Target.reset_constants (); let (text, lit, jmptbl) = Target.get_section_names name in Target.section oc text; let alignment = |