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

---
 libsolidity/interface/Exceptions.h | 1 -
 1 file changed, 1 deletion(-)

(limited to 'libsolidity/interface/Exceptions.h')

diff --git a/libsolidity/interface/Exceptions.h b/libsolidity/interface/Exceptions.h
index 5fdb8f11..09301b10 100644
--- a/libsolidity/interface/Exceptions.h
+++ b/libsolidity/interface/Exceptions.h
@@ -60,7 +60,6 @@ public:
 		ParserError,
 		TypeError,
 		SyntaxError,
-		Why3TranslatorError,
 		Warning
 	};
 
-- 
cgit v1.2.3