From dfec2ced4e90e745631331ee087f19224df864a0 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Fri, 25 Mar 2022 21:46:37 +0000
Subject: Remove unnecessary call to deprecated function
 sqlite3_enable_shared_cache

---
 lib/Core/StatsTracker.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/lib/Core/StatsTracker.cpp b/lib/Core/StatsTracker.cpp
index 93dfcbfe..28c52b7f 100644
--- a/lib/Core/StatsTracker.cpp
+++ b/lib/Core/StatsTracker.cpp
@@ -229,7 +229,6 @@ StatsTracker::StatsTracker(Executor &_executor, std::string _objectFilename,
 
   if (OutputStats) {
     sqlite3_config(SQLITE_CONFIG_SINGLETHREAD);
-    sqlite3_enable_shared_cache(0);
 
     // open database
     auto db_filename = executor.interpreterHandler->getOutputFilename("run.stats");
-- 
cgit 1.4.1