From 88fc4c82aa15dd598c0ebe4fd43adf64a0151db6 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 6 Jan 2020 16:41:13 -0800
Subject: [PATCH] use-before-def

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/ast/bv_decl_plugin.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/ast/bv_decl_plugin.cpp b/src/ast/bv_decl_plugin.cpp
index b7e91c566..dfcb70537 100644
--- a/src/ast/bv_decl_plugin.cpp
+++ b/src/ast/bv_decl_plugin.cpp
@@ -853,10 +853,10 @@ bool bv_recognizers::mult_inverse(rational const & n, unsigned bv_size, rational
 }
 
 bv_util::bv_util(ast_manager & m):
-    bv_recognizers(m.mk_family_id(m_plugin->m_bv_sym)),
+    bv_recognizers(m.mk_family_id(symbol("bv"))),
     m_manager(m) {
-    SASSERT(m.has_plugin(m_plugin->m_bv_sym));
     m_plugin = static_cast<bv_decl_plugin*>(m.get_plugin(m.mk_family_id("bv")));
+    SASSERT(m.has_plugin(symbol("bv")));
     }
 
 app * bv_util::mk_numeral(rational const & val, sort* s) const {