aboutsummaryrefslogtreecommitdiffstats
path: root/solc/jsonCompiler.cpp
diff options
context:
space:
mode:
authorAlex Beregszaszi <alex@rtfs.hu>2017-07-01 05:30:43 +0800
committerAlex Beregszaszi <alex@rtfs.hu>2017-07-01 05:30:43 +0800
commitc5947ae6e314fc66612846a760bafe4467414c6b (patch)
tree53f9b3bf00df824adb3813eb80d51e83d2659264 /solc/jsonCompiler.cpp
parentb3be9d6fdc195519eccce22f07af5ee42af399ed (diff)
downloaddexon-solidity-c5947ae6e314fc66612846a760bafe4467414c6b.tar.gz
dexon-solidity-c5947ae6e314fc66612846a760bafe4467414c6b.tar.zst
dexon-solidity-c5947ae6e314fc66612846a760bafe4467414c6b.zip
Remove Why3 error class
Diffstat (limited to 'solc/jsonCompiler.cpp')
-rw-r--r--solc/jsonCompiler.cpp4
1 files changed, 0 insertions, 4 deletions
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;