From 7fc93b94f54439fec2dc993415fdb0c6c0c86342 Mon Sep 17 00:00:00 2001 From: Nuno Lopes Date: Tue, 14 May 2013 08:54:04 -0700 Subject: [PATCH] remove unimplemented method Signed-off-by: Nuno Lopes --- src/tactic/aig/aig.h | 1 - 1 file changed, 1 deletion(-) diff --git a/src/tactic/aig/aig.h b/src/tactic/aig/aig.h index 96aa59ee6..c8befd9b2 100644 --- a/src/tactic/aig/aig.h +++ b/src/tactic/aig/aig.h @@ -70,7 +70,6 @@ public: void max_sharing(aig_ref & r); void to_formula(aig_ref const & r, expr_ref & result); void to_formula(aig_ref const & r, goal & result); - void to_cnf(aig_ref const & r, goal & result); void display(std::ostream & out, aig_ref const & r) const; void display_smt2(std::ostream & out, aig_ref const & r) const; unsigned get_num_aigs() const;