aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--lockfile.json4
1 files changed, 2 insertions, 2 deletions
diff --git a/lockfile.json b/lockfile.json
index ea0353ebb..597c39d29 100644
--- a/lockfile.json
+++ b/lockfile.json
@@ -75,10 +75,10 @@
"revision": "a6bae0619126d70c756c11e404d8f4ad5108242f"
},
"ocaml": {
- "revision": "4ec9ee414dadc2b6e7325a9f8124d02f6cd8c250"
+ "revision": "785ab1fe61c91f7ed4c4457af790b24fe57d8305"
},
"ocaml_interface": {
- "revision": "4ec9ee414dadc2b6e7325a9f8124d02f6cd8c250"
+ "revision": "785ab1fe61c91f7ed4c4457af790b24fe57d8305"
},
"ocamllex": {
"revision": "ac1d5957e719d49bd6acd27439b79843e4daf8ed"