projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: f5a823b)
Remove unused declaration (#2310)
authorAndres Noetzli <andres.noetzli@gmail.com>
Wed, 15 Aug 2018 03:23:28 +0000 (20:23 -0700)
committerGitHub <noreply@github.com>
Wed, 15 Aug 2018 03:23:28 +0000 (20:23 -0700)
src/theory/quantifiers/fmf/bounded_integers.h patch | blob | history

diff --git a/src/theory/quantifiers/fmf/bounded_integers.h b/src/theory/quantifiers/fmf/bounded_integers.h
index 90928c0bce95dfdd0ca5e61032a0ad6d7398d2f7..8cb530a62fdbe205f1761ca181f79c594c2ceae7 100644 (file)
--- 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,