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 16ec01f25..90b5ab787 100644 --- a/lockfile.json +++ b/lockfile.json @@ -303,7 +303,7 @@ "revision": "231f3163cd27d48f91a4517cfdf72d167a9ef164" }, "matlab": { - "revision": "dd95e1fc1b5514aa3a882d5fb8ddbf4683e953f0" + "revision": "47cd9bde20c53a106cbd9ab1bd18fbfc600264e6" }, "menhir": { "revision": "db7953acb0d5551f207373c81fa07a57d7b085cb" |