diff options
| author | Jon French | 2019-04-12 14:33:40 +0100 |
|---|---|---|
| committer | Jon French | 2019-04-12 14:33:40 +0100 |
| commit | 4d3e9db83ec604eb7379f51ebd6e9423271f3c1e (patch) | |
| tree | 5e8d43c7d89af3e3a9ddc6895c06d9785d3c0118 /src | |
| parent | 1ffd3e2bfb5cbf32c3340af38ff39207a55a9b52 (diff) | |
update libsail.mllib with more jib modules
Diffstat (limited to 'src')
| -rw-r--r-- | src/libsail.mllib | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/libsail.mllib b/src/libsail.mllib index d4125d68..734a1381 100644 --- a/src/libsail.mllib +++ b/src/libsail.mllib @@ -15,6 +15,10 @@ Interactive Interpreter Isail Jib +Jib_compile +Jib_optimize +Jib_ssa +Jib_util Latex Lexer Manifest |