From 1dac8366337233d7969c8f63288a9a031960bacd Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Mon, 20 Oct 2014 15:58:55 +0100
Subject: Separate out printing facility from model driver  into
 printing_functions interface

---
 src/test/run_power.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/test')

diff --git a/src/test/run_power.ml b/src/test/run_power.ml
index dfb618a4..76a8292d 100644
--- a/src/test/run_power.ml
+++ b/src/test/run_power.ml
@@ -152,7 +152,7 @@ let rec fde_loop count main_func parameters mem reg ?mode track_dependencies pro
   | true, mode, track_dependencies, (reg, mem) ->
       if eq_zero (get_reg reg "CIA") then
         eprintf "\nSUCCESS: returned with value %s\n"
-          (Run_interp_model.val_to_string (get_reg reg "GPR3"))
+          (Printing_functions.val_to_string (get_reg reg "GPR3"))
       else
         fde_loop (count+1) main_func parameters mem reg ~mode:mode track_dependencies prog
 ;;
-- 
cgit v1.2.3