From 4a3bde6335f676a28f4aa5f872c213e0ec8bbaa7 Mon Sep 17 00:00:00 2001 From: Andres Noetzli Date: Tue, 14 Aug 2018 20:23:28 -0700 Subject: [PATCH] Remove unused declaration (#2310) --- src/theory/quantifiers/fmf/bounded_integers.h | 1 - 1 file changed, 1 deletion(-) diff --git a/src/theory/quantifiers/fmf/bounded_integers.h b/src/theory/quantifiers/fmf/bounded_integers.h index 90928c0bc..8cb530a62 100644 --- a/src/theory/quantifiers/fmf/bounded_integers.h +++ b/src/theory/quantifiers/fmf/bounded_integers.h @@ -73,7 +73,6 @@ private: //fixed finite set range std::map< Node, std::map< Node, std::vector< Node > > > d_fixed_set_gr_range; std::map< Node, std::map< Node, std::vector< Node > > > d_fixed_set_ngr_range; - void hasFreeVar( Node f, Node n ); void process( Node q, Node n, bool pol, std::map< Node, unsigned >& bound_lit_type_map, std::map< int, std::map< Node, Node > >& bound_lit_map, -- 2.30.2