Revert "Pin saw-core to an earlier version"

Mistake based on broken configuration on my development machine. This reverts commit 5c3139c.
GaloisInc · Jun 5, 2015 · dd55819 · dd55819
1 parent 5c3139c
commit dd55819
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/build-sandbox-version-pins.txt b/build-sandbox-version-pins.txt
@@ -7,4 +7,4 @@ jvm-verifier 3410bab13d2653d8e92417eeadcc961c2ff1e211
 llvm-pretty 38eb118da5b622f6779f53bb60d8971ceb4a45d2
 llvm-pretty-bc-parser 61c1e2f9a5bce63522fd3da01f95ed6e438c6650
 llvm-verifier f83ded8e02d5790e7511e334dce7a933894e10f9
-saw-core 129e31953ddc8d39f18c412b849c546c7e20c106
+saw-core e9a7f73d710760b81dc7acd901f61d6fe5d9d615