Merge pull request #2 from andrewvaughanj/fix_readme

Modify indentation in README.md to avoid GitHub displaying it incorrectly

Author: ianamason

Diff for: README.md

@@ -33,14 +33,14 @@ This will install two python packages and a binary.
 
   ```
   > yices_python_info
- Python Yices Bindings. Version 1.1.3
- Yices library loaded from /usr/local/lib/libyices.dylib
- Version: 2.6.2
- Architecture: x86_64-apple-darwin18.7.0 
- Build mode: debug
- Build date: 2020-04-27
- MCSat support: yes
- Thread safe: no
+  Python Yices Bindings. Version 1.1.3
+  Yices library loaded from /usr/local/lib/libyices.dylib
+  Version: 2.6.2
+  Architecture: x86_64-apple-darwin18.7.0 
+  Build mode: debug
+  Build date: 2020-04-27
+  MCSat support: yes
+  Thread safe: no
   ```
 
 ##  Examples