From 91c0437a14f67953b6672d0633e2c68de174aa11 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Tue, 26 Jun 2018 16:43:10 +0100
Subject: mips: fix duplication of cycle_count call that arose due to git
 merge.

---
 mips/main.sail | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/mips/main.sail b/mips/main.sail
index c34a7ae3..87354b90 100644
--- a/mips/main.sail
+++ b/mips/main.sail
@@ -67,15 +67,12 @@ function dump_mips_state () : unit -> unit = {
   }
 }
 
-val "cycle_count" : unit -> unit
-
 val main : unit -> unit effect {barr, eamem, escape, rmem, rreg, undef, wmv, wreg, rmemt, wmvt}
 
 function main () = {
   init_registers(to_bits(64, elf_entry()));
   startTime = get_time_ns();
   while (fetch_and_execute()) do {
-    cycle_count();
     /* uncomment to print IPS every 10M instructions (~10s)
     if (instCount == 10000000) then {
       endTime = get_time_ns();
@@ -86,6 +83,7 @@ function main () = {
       startTime = get_time_ns();
       instCount = 0; 
     };*/
+    ();
   };
 
   endTime = get_time_ns();
-- 
cgit v1.2.3