From c5947ae6e314fc66612846a760bafe4467414c6b Mon Sep 17 00:00:00 2001
From: Alex Beregszaszi <alex@rtfs.hu>
Date: Fri, 30 Jun 2017 22:30:43 +0100
Subject: Remove Why3 error class

---
 solc/jsonCompiler.cpp | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'solc')

diff --git a/solc/jsonCompiler.cpp b/solc/jsonCompiler.cpp
index 1d31ea30..adf991d6 100644
--- a/solc/jsonCompiler.cpp
+++ b/solc/jsonCompiler.cpp
@@ -164,10 +164,6 @@ string compile(StringMap const& _sources, bool _optimize, CStyleReadFileCallback
 	//       "srcmapRuntime" = "0:1:2",
 	//       "assembly" = {}
 	//     }
-	//   },
-	//   "formal": {
-	//     "errors": [ "Error 1" ],
-	//     "why3": "why3 source"
 	//   }
 	// }
 	Json::Value output = Json::objectValue;
-- 
cgit v1.2.3