private void doRestore(){
  view.setOriginalTraceShown(true);
  view.updateErrorView();
}

private void doRestore ( ) { view . setOriginalTraceShown ( true ) ; view . updateErrorView ( ) ; }
restores the original trace produced by the last run of tlc for model checking ( not trace exploration ) .
