From 5a7a39556441ec44f8874f252a526afefea845c1 Mon Sep 17 00:00:00 2001
From: trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Date: Wed, 4 May 2011 03:53:48 +0000
Subject: [PATCH] Function to reset the stopwatch.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1307 e59a4935-1847-0410-ae03-e826735625c1
---
 src/AST/RunTimes.h | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/AST/RunTimes.h b/src/AST/RunTimes.h
index f198397..f52b1d3 100644
--- a/src/AST/RunTimes.h
+++ b/src/AST/RunTimes.h
@@ -75,6 +75,11 @@ public:
     return s.str();
   }
 
+  void resetDifference()
+  {
+    getDifference();
+  }
+
   void difference()
   {
 	  std::cout << getDifference()<< std::endl << std::endl;
-- 
2.47.3