From 2bbca192e342d85f6bd886622d14afc5610dcfcc Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Fri, 20 May 2016 20:16:45 +0100 Subject: [PATCH] member init order --- src/tactic/fpa/fpa2bv_model_converter.h | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/src/tactic/fpa/fpa2bv_model_converter.h b/src/tactic/fpa/fpa2bv_model_converter.h index f7c817e1b..ce38527c1 100644 --- a/src/tactic/fpa/fpa2bv_model_converter.h +++ b/src/tactic/fpa/fpa2bv_model_converter.h @@ -24,11 +24,11 @@ Notes: #include"model_converter.h" class fpa2bv_model_converter : public model_converter { - fpa_util m_fpa_util; - bv_util m_bv_util; - th_rewriter m_th_rw; - - ast_manager & m; + ast_manager & m; + fpa_util m_fpa_util; + bv_util m_bv_util; + th_rewriter m_th_rw; + obj_map m_const2bv; obj_map m_rm_const2bv; obj_map m_uf2bvuf;