README fixed

Author: ilyasergey

README.md

@@ -3,9 +3,9 @@
 Implementation and case studies of Disel, a separation-style logic for
 compositional verification of distributed systems.
 
-This code accompanies the paper entitled **Programming and Proving with
-Distributed Protocols** by Ilya Sergey, James R. Wilcox and Zachary
-Tatlock, conditionally accepted for publication at POPL 2018.
+This code accompanies the paper entitled **Programming and Proving
+with Distributed Protocols** by Ilya Sergey, James R. Wilcox and
+Zachary Tatlock, accepted for publication at POPL 2018.
 
 ## Building the Project