From 7ff7c27927aced01c3a2d16d01c4d5fef62ff625 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Wed, 26 Sep 2018 10:13:59 +0000
Subject: [PATCH] Remove unused quantifier_exprt default constructor

It made use of the deprecated symbol_exprt() constructor and was only used by
the otherwise unused exists/forall default constructors.
---
 src/util/std_expr.h | 13 -------------
 1 file changed, 13 deletions(-)

diff --git a/src/util/std_expr.h b/src/util/std_expr.h
index d4f251222e8..d8984c8ec33 100644
--- a/src/util/std_expr.h
+++ b/src/util/std_expr.h
@@ -4565,11 +4565,6 @@ inline void validate_expr(const let_exprt &value)
 class quantifier_exprt:public binary_predicate_exprt
 {
 public:
-  explicit quantifier_exprt(const irep_idt &_id):binary_predicate_exprt(_id)
-  {
-    op0()=symbol_exprt();
-  }
-
   quantifier_exprt(
     const irep_idt &_id,
     const symbol_exprt &_symbol,
@@ -4635,10 +4630,6 @@ inline void validate_expr(const quantifier_exprt &value)
 class forall_exprt:public quantifier_exprt
 {
 public:
-  forall_exprt():quantifier_exprt(ID_forall)
-  {
-  }
-
   forall_exprt(const symbol_exprt &_symbol, const exprt &_where)
     : quantifier_exprt(ID_forall, _symbol, _where)
   {
@@ -4649,10 +4640,6 @@ class forall_exprt:public quantifier_exprt
 class exists_exprt:public quantifier_exprt
 {
 public:
-  exists_exprt():quantifier_exprt(ID_exists)
-  {
-  }
-
   exists_exprt(const symbol_exprt &_symbol, const exprt &_where)
     : quantifier_exprt(ID_exists, _symbol, _where)
   {