From 9bdc4266ea3ba81ec3f05e44b1069a6752cdaf0a Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Thu, 6 Jun 2019 15:33:59 +0100
Subject: Update aarch64_small hgen files

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

(limited to 'src')

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