From 8d636fd277067bbee00d60429e799af9d3f4aa5a Mon Sep 17 00:00:00 2001
From: trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Date: Mon, 12 Mar 2012 01:04:49 +0000
Subject: [PATCH] Move the time function to global scope.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1585 e59a4935-1847-0410-ae03-e826735625c1
---
 src/AST/AST.h       | 2 ++
 src/AST/ASTmisc.cpp | 7 +++++++
 2 files changed, 9 insertions(+)

diff --git a/src/AST/AST.h b/src/AST/AST.h
index 7930ff1..4528852 100644
--- a/src/AST/AST.h
+++ b/src/AST/AST.h
@@ -44,6 +44,8 @@ namespace BEEV
   // NB: The boolean value is always true!
   bool BVTypeCheck(const ASTNode& n);
   
+ long getCurrentTime();
+
   ASTVec FlattenKind(Kind k, const ASTVec &children);
 
   // Checks recursively all the way down.
diff --git a/src/AST/ASTmisc.cpp b/src/AST/ASTmisc.cpp
index d01273b..4f01aa8 100644
--- a/src/AST/ASTmisc.cpp
+++ b/src/AST/ASTmisc.cpp
@@ -559,4 +559,11 @@ namespace BEEV
     return true;
   } //End of TypeCheck function
 
+  long getCurrentTime()
+  {
+    timeval t;
+    gettimeofday(&t, NULL);
+    return (1000 * t.tv_sec) + (t.tv_usec / 1000);
+  }
+
 };//end of namespace
-- 
2.47.3