From 417299119500eac6a910fcb6b2109f4c129b355c Mon Sep 17 00:00:00 2001
From: Abdalrhman Mohamed <32971963+abdoo8080@users.noreply.github.com>
Date: Tue, 20 Oct 2020 14:23:30 -0500
Subject: Remove some Commands from the API. (#5268)

This PR removes Solver::getAssignment command from the API as there is no way to assign names to terms in the API. It also removes ExpandDefinitionsCommand, an internal functionality in CVC4.
---
 src/printer/printer.cpp | 5 -----
 1 file changed, 5 deletions(-)

(limited to 'src/printer/printer.cpp')

diff --git a/src/printer/printer.cpp b/src/printer/printer.cpp
index ba062c20f..e760c21aa 100644
--- a/src/printer/printer.cpp
+++ b/src/printer/printer.cpp
@@ -262,11 +262,6 @@ void Printer::toStreamCmdSimplify(std::ostream& out, Node n) const
   printUnknownCommand(out, "simplify");
 }
 
-void Printer::toStreamCmdExpandDefinitions(std::ostream& out, Node n) const
-{
-  printUnknownCommand(out, "expand-definitions");
-}
-
 void Printer::toStreamCmdGetValue(std::ostream& out,
                                   const std::vector<Node>& nodes) const
 {
-- 
cgit v1.2.3