Oops -- import json for json.dumps.

riastradh-probcomp · riastradh-probcomp · commit 9a7d02993d8f · 2016-07-07T23:24:10.000Z
diff --git a/src/util.py b/src/util.py
@@ -16,6 +16,7 @@
 
 """Miscellaneous utilities."""
 
+import json
 import math
 
 def unique(array):
