From 82d6faf3596037b17a1b61665ec4f3e57cf95a61 Mon Sep 17 00:00:00 2001
From: Thomas Bauereiss
Date: Thu, 18 Jun 2020 15:08:29 +0100
Subject: Add slice.ml to libsail

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

(limited to 'src')

diff --git a/src/libsail.mllib b/src/libsail.mllib
index fe2f2801..0651c59a 100644
--- a/src/libsail.mllib
+++ b/src/libsail.mllib
@@ -51,6 +51,7 @@ Smtlib
 Spec_analysis
 Specialize
 Splice
+Slice
 State
 ToFromInterp_backend
 ToFromInterp_lib_mword
-- 
cgit v1.2.3