1 files changed, 1 insertions, 1 deletions
diff --git a/riscV/TargetPrinter.ml b/riscV/TargetPrinter.ml
index 4b976e17..19d8103b 100644
--- a/riscV/TargetPrinter.ml
+++ b/riscV/TargetPrinter.ml
@@ -149,7 +149,7 @@ module Target : TARGET =
                   fprintf oc "%a:	.long	0x%lx\n" label lbl bf)
                literal32_labels
            end;
-         reset_constants ()
+         reset_literals ()
       end
 
 (* Generate code to load the address of id + ofs in register r *)