diff options
| author | Nadrieril | 2024-05-06 12:26:57 +0200 |
|---|---|---|
| committer | Guillaume Boisseau | 2024-05-14 16:26:47 +0200 |
| commit | 89f82c504b377f92541b2313256adf525d7b20da (patch) | |
| tree | 79151f8118306e89da79e8202e2b9fc76d143400 /charon-pin | |
| parent | d7390c53fba81768bfa08645e18dff4f613d7aa4 (diff) | |
Catch new literal variants
Diffstat (limited to 'charon-pin')
| -rw-r--r-- | charon-pin | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,2 +1,2 @@ # This is the commit from https://github.com/AeneasVerif/charon that should be used with this version of aeneas. -1a205c55b02f3dff1ae238dfdac5a58d58de6006 +30ff93c24e5a1a6151d1c76f94c1d61ff1c34f70 |