diff options
| author | Brian Campbell | 2020-08-07 18:09:39 +0100 |
|---|---|---|
| committer | Brian Campbell | 2020-08-07 18:09:39 +0100 |
| commit | a4c44cef89eb7b252ac2e66a878b093ecfbbd99f (patch) | |
| tree | b456f4621d28919e19e9fd17cfe43d52f65aa390 /src | |
| parent | 7f53a4db1d3c36524707761446a8167f69ddd357 (diff) | |
| parent | 82d6faf3596037b17a1b61665ec4f3e57cf95a61 (diff) | |
Merge branch 'monads' into sail2
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 |