From a3ec645b5ae36c54988f95057f37693edbad02c5 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Fri, 10 Nov 2017 11:05:02 +0100
Subject: Remove no longer used function. Bug 22525

---
 riscV/TargetPrinter.ml | 2 --
 1 file changed, 2 deletions(-)

(limited to 'riscV/TargetPrinter.ml')

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;
-- 
cgit