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/rewrites.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/rewrites.ml')

diff --git a/src/rewrites.ml b/src/rewrites.ml
index f7544a7c..2138207b 100644
--- a/src/rewrites.ml
+++ b/src/rewrites.ml
@@ -4922,7 +4922,7 @@ let rewrites_target tgt =
   | "lem" -> rewrites_lem
   | "ocaml" -> rewrites_ocaml
   | "c" -> rewrites_c
-  | "ir" -> rewrites_c
+  | "ir" -> rewrites_c @ [("properties", [])]
   | "smt" -> rewrites_c @ [("properties", [])]
   | "sail" -> []
   | "latex" -> []
-- 
cgit v1.2.3