Typo in year.

2016-07-08 15:25:41 -04:00
parent d544f7e5fe
commit a2b49873f9
1 changed files with 1 additions and 1 deletions
@@ -1,4 +1,4 @@
-+ **07/2017** Our preprint **Coupling proofs are probabilistic product
+ **07/2016** Our preprint **Coupling proofs are probabilistic product
  programs** is now available.
 + **07/2016** An updated version of our preprint **Formal verification of
  randomized algorithms** is now available.