From 6ad8b7817fc86888f4bad405af7dcae8d8c17950 Mon Sep 17 00:00:00 2001
From: Arie Gurfinkel <arie.gurfinkel@uwaterloo.ca>
Date: Wed, 15 May 2019 09:26:38 -0400
Subject: [PATCH] Add bit2bool to list of known bv operators

---
 src/ast/bv_decl_plugin.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/ast/bv_decl_plugin.cpp b/src/ast/bv_decl_plugin.cpp
index 4ffd7d6cb..545aeb61d 100644
--- a/src/ast/bv_decl_plugin.cpp
+++ b/src/ast/bv_decl_plugin.cpp
@@ -720,6 +720,7 @@ void bv_decl_plugin::get_op_names(svector<builtin_name> & op_names, symbol const
     op_names.push_back(builtin_name("bvashr",OP_BASHR));
     op_names.push_back(builtin_name("rotate_left",OP_ROTATE_LEFT));
     op_names.push_back(builtin_name("rotate_right",OP_ROTATE_RIGHT));
+    op_names.push_back(builtin_name("bit2bool", OP_BIT2BOOL));
 
     if (logic == symbol::null || logic == symbol("ALL") || logic == "QF_FD") {
         op_names.push_back(builtin_name("bvumul_noovfl",OP_BUMUL_NO_OVFL));