From: trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Date: Wed, 4 May 2011 03:53:48 +0000 (+0000)
Subject: Function to reset the stopwatch.
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=5a7a39556441ec44f8874f252a526afefea845c1;p=francis%2Fstp.git

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
---

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;