Demo: use webppl 0.9.4

probmods · Oct 18, 2016 · 9a6d203 · 9a6d203
1 parent 786dde8
commit 9a6d203
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/demo/index.html b/demo/index.html
@@ -1788,5 +1788,5 @@ <h3>error handling</h3>
   </script>
 
 
-  <script src="//s3-us-west-2.amazonaws.com/cdn.webppl.org/webppl-v0.9.1.js"></script>
+  <script src="//s3-us-west-2.amazonaws.com/cdn.webppl.org/webppl-v0.9.4.js"></script>
 </html>