From 9a6d2037bb61142966b3c960fea99b871f45ef40 Mon Sep 17 00:00:00 2001
From: Long Ouyang <longouyang@gmail.com>
Date: Tue, 18 Oct 2016 13:25:22 -0700
Subject: [PATCH] Demo: use webppl 0.9.4

---
 demo/index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/demo/index.html b/demo/index.html
index 3561fa8..4c529db 100644
--- 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>