Closed longouyang closed 7 years ago
(though maybe this should be in webppl-editor?)
Yes, it should be in editor. Fixed there in probmods/webppl-editor@9116fbabcf8677da46c89e49a6d8cc8b8bf68ce4
(though maybe this should be in webppl-editor?)