From 4d3e9db83ec604eb7379f51ebd6e9423271f3c1e Mon Sep 17 00:00:00 2001
From: Jon French
Date: Fri, 12 Apr 2019 14:33:40 +0100
Subject: update libsail.mllib with more jib modules

---
 src/libsail.mllib | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src')

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
-- 
cgit v1.2.3