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 f19839765ae0b5aef0bd829ca9b57f8c93c97ea7..f52b1d388112cc7f140017c4503e32dd2e0f705e 100644 (file)
--- 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;