diff options
| author | Thomas Bauereiss | 2020-06-18 15:08:29 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2020-06-24 14:12:28 +0100 |
| commit | 82d6faf3596037b17a1b61665ec4f3e57cf95a61 (patch) | |
| tree | e6cec794fdef88b3c948415f36fcc3031652b660 /src | |
| parent | 11d2111ade722ee1c7bfdecc3689145ffb196635 (diff) | |
Add slice.ml to libsail
Diffstat (limited to 'src')
| -rw-r--r-- | src/libsail.mllib | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/libsail.mllib b/src/libsail.mllib index fe2f2801..0651c59a 100644 --- a/src/libsail.mllib +++ b/src/libsail.mllib @@ -51,6 +51,7 @@ Smtlib Spec_analysis Specialize Splice +Slice State ToFromInterp_backend ToFromInterp_lib_mword |