Use WebPPL 0.9.7 on the docs page.

probmods · Jan 30, 2017 · 307cc7a · 307cc7a
1 parent fd5ce4a
commit 307cc7a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/index.html b/docs/index.html
@@ -1821,5 +1821,5 @@ <h3>error handling</h3>
   </script>
 
 
-  <script src="//s3-us-west-2.amazonaws.com/cdn.webppl.org/webppl-v0.9.6.js"></script>
+  <script src="//s3-us-west-2.amazonaws.com/cdn.webppl.org/webppl-v0.9.7.js"></script>
 </html>