*** ../src/test/32/history	2014-09-15 04:32:55.000000000 -0700
--- gp.out	2015-05-12 08:51:24.195948285 -0700
***************
*** 15,18 ****
    ***   History result %12 has been deleted (histsize changed)
  
  1
! Total time spent: 4
--- 15,18 ----
    ***   History result %12 has been deleted (histsize changed)
  
  1
! Total time spent: 0