small fix in README

This commit is contained in:
Simon Cruanes 2014-11-03 15:56:41 +01:00
parent 27f5606e9e
commit d671316a92

View file

@ -15,7 +15,7 @@ The following theories should be supported:
## COPYRIGHT
This program is distributed under the Apache Software License version
2.0. See the enclosed file COPYING.
2.0. See the enclosed file `LICENSE`.
## INSTALLATION