diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2017-07-07 11:54:58 -0700 |
---|---|---|
committer | Mathias Preiner <mathias.preiner@gmail.com> | 2017-07-07 11:54:58 -0700 |
commit | adef38f318e055c09db85e483040528d68d394e5 (patch) | |
tree | 63e62b0d679a8d8fd2acfc3b0eedfb7b33f05bf3 /src/theory/substitutions.cpp | |
parent | 7231e62ee2d620751d43ea72eb3e390ac6ccfed9 (diff) |
Use new copyright header format.
Diffstat (limited to 'src/theory/substitutions.cpp')
0 files changed, 0 insertions, 0 deletions