diff options
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 |