From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Wed, 15 Aug 2018 03:23:28 +0000 (-0700)
Subject: Remove unused declaration (#2310)
X-Git-Tag: cvc5-1.0.0~4785
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4a3bde6335f676a28f4aa5f872c213e0ec8bbaa7;p=cvc5.git

Remove unused declaration (#2310)
---

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,