diff options
| author | chriseth <c@ethdev.com> | 2015-10-27 00:20:29 +0800 |
|---|---|---|
| committer | chriseth <c@ethdev.com> | 2015-10-27 02:47:25 +0800 |
| commit | 8fb49d85f9464bfa0d17ac77d2e19b3ba371c53c (patch) | |
| tree | cbe785c7e483fb83d9ed5148273f3cc93d602914 /libsolidity/formal/Why3Translator.h | |
| parent | e77deccfb3373f5cc7208a0d2579a76f31379952 (diff) | |
| download | dexon-solidity-8fb49d85f9464bfa0d17ac77d2e19b3ba371c53c.tar.gz dexon-solidity-8fb49d85f9464bfa0d17ac77d2e19b3ba371c53c.tar.zst dexon-solidity-8fb49d85f9464bfa0d17ac77d2e19b3ba371c53c.zip | |
Allow docstrings for statements.
Diffstat (limited to 'libsolidity/formal/Why3Translator.h')
0 files changed, 0 insertions, 0 deletions