From 986f65c2193014a63a6abfb4ff0658e038918947 Mon Sep 17 00:00:00 2001
From: Bhargava Shastry <bhargava.shastry@ethereum.org>
Date: Fri, 30 Apr 2021 12:22:18 +0200
Subject: [PATCH] Remove deprecated SMTChecker pragma.

---
 test/tools/ossfuzz/SolidityGenerator.cpp | 4 +++-
 test/tools/ossfuzz/SolidityGenerator.h   | 5 +----
 2 files changed, 4 insertions(+), 5 deletions(-)

diff --git a/test/tools/ossfuzz/SolidityGenerator.cpp b/test/tools/ossfuzz/SolidityGenerator.cpp
index 81e053ba7..0f65bc46e 100644
--- a/test/tools/ossfuzz/SolidityGenerator.cpp
+++ b/test/tools/ossfuzz/SolidityGenerator.cpp
@@ -155,7 +155,9 @@ string SourceUnitGenerator::visit()
 
 string PragmaGenerator::visit()
 {
-	set<string> pragmas = uRandDist->subset(s_genericPragmas);
+	set<string> pragmas;
+	// Add preamble
+	pragmas.insert(string(s_preamble));
 	// Choose either abicoder v1 or v2 but not both.
 	pragmas.insert(s_abiPragmas[uRandDist->distributionOneToN(s_abiPragmas.size()) - 1]);
 	return boost::algorithm::join(pragmas, "\n") + "\n";
diff --git a/test/tools/ossfuzz/SolidityGenerator.h b/test/tools/ossfuzz/SolidityGenerator.h
index 9064c793c..52f8d32b5 100644
--- a/test/tools/ossfuzz/SolidityGenerator.h
+++ b/test/tools/ossfuzz/SolidityGenerator.h
@@ -749,10 +749,7 @@ public:
 	std::string visit() override;
 	std::string name() override { return "Pragma generator"; }
 private:
-	std::set<std::string> const s_genericPragmas = {
-		R"(pragma solidity >= 0.0.0;)",
-		R"(pragma experimental SMTChecker;)",
-	};
+	static constexpr char const* s_preamble = R"(pragma solidity >= 0.0.0;)";
 	std::vector<std::string> const s_abiPragmas = {
 		R"(pragma abicoder v1;)",
 		R"(pragma abicoder v2;)"