Update README.md (#78)

README.md

@@ -111,15 +111,6 @@ Formal Verification Specs
 -------------------------
 
 The Compound Protocol has a number of formal verification specifications, powered by [Certora](https://www.certora.com/). You can find details in the [spec/formal](https://github.com/compound-finance/compound-protocol/tree/master/spec/formal) folder. The Certora Verification Language (CVL) files included are specifications, which when with the Certora CLI tool, produce formal proofs (or counter-examples) that the code of a given contract exactly matches that specification.
-=======
-See the [Scenario Docs](https://github.com/compound-finance/money-market/tree/master/scenario/SCENARIO.md) on steps for using the repl.
-
-Testing
--------
-Contract tests are defined under the [tests directory](https://github.com/compound-finance/money-market/tree/master/tests). To run the tests run:
-
-    yarn test
->>>>>>> Compound Token and Governance (#519)
 
 Code Coverage
 -------------