From 7cfbabc2bfba4f7d2ba0d3f91c7068ac3b1a84d1 Mon Sep 17 00:00:00 2001
From: Alasdair
Date: Sat, 13 Apr 2019 17:47:26 +0100
Subject: SMT: Add count_leading_zeros and more builtins

---
 src/specialize.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/specialize.ml')

diff --git a/src/specialize.ml b/src/specialize.ml
index 3063e4d5..05f675b2 100644
--- a/src/specialize.ml
+++ b/src/specialize.ml
@@ -490,6 +490,7 @@ let initial_calls = ref (IdSet.of_list
     mk_id "execute";
     mk_id "decode";
     mk_id "initialize_registers";
+    mk_id "prop";
     mk_id "append_64" (* used to construct bitvector literals in C backend *)
   ])
 
-- 
cgit v1.2.3