From f204a42004daca949dc35bbbb4e2a22b2a1c7b32 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Fri, 31 May 2019 17:32:57 +0100
Subject: Add SMT related things to libsail file

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

(limited to 'src')

diff --git a/src/libsail.mllib b/src/libsail.mllib
index b9d91834..fb3d1264 100644
--- a/src/libsail.mllib
+++ b/src/libsail.mllib
@@ -5,6 +5,8 @@ Bitfield
 C_backend
 Cgen_backend
 Constant_fold
+Constant_propagation
+Constant_propagation_mutrec
 Constraint
 Elf_loader
 Error_format
@@ -17,6 +19,7 @@ Jib
 Jib_compile
 Jib_optimize
 Jib_ssa
+Jib_smt
 Jib_util
 Latex
 Lexer
@@ -27,6 +30,7 @@ Ocaml_backend
 Optimize
 Parse_ast
 Parser
+Parser_combinators
 Pattern_completeness
 PPrint
 PPrintCombinators
@@ -40,6 +44,7 @@ Pretty_print_lem
 Pretty_print_sail
 Process_file
 Profile
+Property
 Reporting
 Rewriter
 Rewrites
-- 
cgit v1.2.3