diff options
Diffstat (limited to 'riscV/TargetPrinter.ml')
| -rw-r--r-- | riscV/TargetPrinter.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/riscV/TargetPrinter.ml b/riscV/TargetPrinter.ml index f0ff9637..696bc87f 100644 --- a/riscV/TargetPrinter.ml +++ b/riscV/TargetPrinter.ml @@ -129,8 +129,6 @@ module Target : TARGET = (* Associate labels to floating-point constants and to symbols. *) - let reset_constants () = reset_constants () - let emit_constants oc lit = if exists_constants () then begin section oc lit; |