From d83f58cfbd05ed2f52730b6c3ea463161668e75b Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Thu, 5 Jun 2014 16:41:24 +0100
Subject: Shorten debug output for power

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

(limited to 'src/test')

diff --git a/src/test/run_power.ml b/src/test/run_power.ml
index 1400769f..6f90adca 100644
--- a/src/test/run_power.ml
+++ b/src/test/run_power.ml
@@ -128,7 +128,8 @@ let run () =
   (* entry point: unit -> unit cycle *)
   let entry = E_aux(E_app(Id_aux((Id "cycle"),Unknown),
     [E_aux(E_lit (L_aux(L_unit,Unknown)),(Unknown,None))]),(Unknown,None)) in
-  let t =time_it (fun () -> fde_loop 0 entry !mem reg (!file, Power.defs)) () in
+  let name = Filename.basename !file in
+  let t =time_it (fun () -> fde_loop 0 entry !mem reg (name, Power.defs)) () in
   eprintf "Execution time: %f seconds\n" t
 ;;
 
-- 
cgit v1.2.3