diff options
Diffstat (limited to 'src/libsail.mllib')
| -rw-r--r-- | src/libsail.mllib | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/libsail.mllib b/src/libsail.mllib index 1a992391..b9d91834 100644 --- a/src/libsail.mllib +++ b/src/libsail.mllib @@ -51,7 +51,8 @@ Spec_analysis Specialize State ToFromInterp_backend -ToFromInterp_lib +ToFromInterp_lib_mword +ToFromInterp_lib_bitlist Type_check Type_error Util |