Switch back to https-friendly cdn url

probmods · Jul 30, 2016 · 08cab06 · 08cab06
1 parent 1ffef7a
commit 08cab06
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/demo/index.html b/demo/index.html
@@ -1775,5 +1775,5 @@ <h3>error handling</h3>
   </script>
 
 
-  <script src="http://cdn.webppl.org/webppl-v0.9.0.js"></script>
+  <script src="//s3-us-west-2.amazonaws.com/cdn.webppl.org/webppl-v0.9.0.js"></script>
 </html>