Permalink
Browse files

Fixed typo in README (too trivial for PR)

  • Loading branch information...
mikand committed Oct 30, 2017
1 parent e55ad94 commit 9e6eec7e63adbcb0ea39296469a1d276fb2e6ee0
Showing with 1 addition and 1 deletion.
  1. +1 −1 README.rst
View
@@ -217,7 +217,7 @@ The following table summarizes the features supported via pySMT for each of the
License License
======= =======
pySMT is release under the APACHE 2.0 License. pySMT is released under the APACHE 2.0 License.
For further questions, feel free to open an issue, or write to For further questions, feel free to open an issue, or write to
pysmt@googlegroups.com (`Browse the Archive <https://groups.google.com/d/forum/pysmt>`_). pysmt@googlegroups.com (`Browse the Archive <https://groups.google.com/d/forum/pysmt>`_).

0 comments on commit 9e6eec7

Please sign in to comment.