diff options
| author | VoR0220 <rj@erisindustries.com> | 2016-11-19 07:13:20 +0800 |
|---|---|---|
| committer | chriseth <c@ethdev.com> | 2016-11-23 19:22:33 +0800 |
| commit | 3f9f725737dd04485211fedc8533fdac983f2b04 (patch) | |
| tree | 0f94b92cc41b643f367ae8a7728d85f9b5347dca /libsolidity/formal | |
| parent | 1a205ebf783c61b6c92dd40d0e94f874dc21f7b0 (diff) | |
| download | dexon-solidity-3f9f725737dd04485211fedc8533fdac983f2b04.tar.gz dexon-solidity-3f9f725737dd04485211fedc8533fdac983f2b04.tar.zst dexon-solidity-3f9f725737dd04485211fedc8533fdac983f2b04.zip | |
Fix licensing headers
Signed-off-by: VoR0220 <rj@erisindustries.com>
Diffstat (limited to 'libsolidity/formal')
| -rw-r--r-- | libsolidity/formal/Why3Translator.cpp | 8 | ||||
| -rw-r--r-- | libsolidity/formal/Why3Translator.h | 8 |
2 files changed, 8 insertions, 8 deletions
diff --git a/libsolidity/formal/Why3Translator.cpp b/libsolidity/formal/Why3Translator.cpp index 5934d593..2903a4e3 100644 --- a/libsolidity/formal/Why3Translator.cpp +++ b/libsolidity/formal/Why3Translator.cpp @@ -1,18 +1,18 @@ /* - This file is part of cpp-ethereum. + This file is part of solidity. - cpp-ethereum is free software: you can redistribute it and/or modify + solidity is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version. - cpp-ethereum is distributed in the hope that it will be useful, + solidity is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License - along with cpp-ethereum. If not, see <http://www.gnu.org/licenses/>. + along with solidity. If not, see <http://www.gnu.org/licenses/>. */ /** * @author Christian <c@ethdev.com> diff --git a/libsolidity/formal/Why3Translator.h b/libsolidity/formal/Why3Translator.h index 4fdac385..03f3bf9c 100644 --- a/libsolidity/formal/Why3Translator.h +++ b/libsolidity/formal/Why3Translator.h @@ -1,18 +1,18 @@ /* - This file is part of cpp-ethereum. + This file is part of solidity. - cpp-ethereum is free software: you can redistribute it and/or modify + solidity is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version. - cpp-ethereum is distributed in the hope that it will be useful, + solidity is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License - along with cpp-ethereum. If not, see <http://www.gnu.org/licenses/>. + along with solidity. If not, see <http://www.gnu.org/licenses/>. */ /** * @author Christian <c@ethdev.com> |