diff options
| author | Alasdair Armstrong | 2019-06-06 15:33:59 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-06-06 15:33:59 +0100 |
| commit | 9bdc4266ea3ba81ec3f05e44b1069a6752cdaf0a (patch) | |
| tree | 785ceb9d246fd75880bf63d2d2434898390d7dda /src | |
| parent | 5386c251028af5b71d279f5ad18cb1a3bfa53d57 (diff) | |
Update aarch64_small hgen files
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 fb3d1264..2d1f568f 100644 --- a/src/libsail.mllib +++ b/src/libsail.mllib @@ -52,6 +52,7 @@ Sail Sail2_values Sail_lib Scattered +Smtlib Spec_analysis Specialize State |