diff options
Diffstat (limited to 'src/prop/bvminisat/utils/System.h')
| -rw-r--r-- | src/prop/bvminisat/utils/System.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/prop/bvminisat/utils/System.h b/src/prop/bvminisat/utils/System.h index f9fe708bb..4b4b73cb9 100644 --- a/src/prop/bvminisat/utils/System.h +++ b/src/prop/bvminisat/utils/System.h @@ -43,7 +43,7 @@ extern double memUsedPeak(); // Peak-memory in mega bytes (returns 0 for #if defined(_MSC_VER) || defined(__MINGW32__) #include <time.h> -static inline double Minisat::cpuTime(void) { return (double)clock() / CLOCKS_PER_SEC; } +static inline double BVMinisat::cpuTime(void) { return (double)clock() / CLOCKS_PER_SEC; } #else #include <sys/time.h> |