diff options
Diffstat (limited to 'lockfile.json')
| -rw-r--r-- | lockfile.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lockfile.json b/lockfile.json index a8265c9be..08833742a 100644 --- a/lockfile.json +++ b/lockfile.json @@ -351,7 +351,7 @@ "revision": "7a61e11f8e44b4edee23adb15a187c9dd2beecef" }, "ocamllex": { - "revision": "62118551bd9501b8253598b835cb4bef04b31e3d" + "revision": "fab854a2de25b2284582bf7ed7f9970d19988c73" }, "odin": { "revision": "d165dbee27617dab2653e38737d96ede1030d14f" |