From: Morgan Deters <mdeters@gmail.com>
Date: Wed, 5 Oct 2011 23:58:57 +0000 (+0000)
Subject: Reverting a fix from earlier today that fixed a Mac OS warning but completely broke... 
X-Git-Tag: cvc5-1.0.0~8422
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=db264e836f2878a3cf09a54f1c577ce516fb1bc5;p=cvc5.git

Reverting a fix from earlier today that fixed a Mac OS warning but completely broke Linux. :-(
---

diff --git a/src/expr/node.h b/src/expr/node.h
index 9d852f195..0f4b55d4a 100644
--- a/src/expr/node.h
+++ b/src/expr/node.h
@@ -52,11 +52,6 @@ class NodeManager;
 template <bool ref_count>
 class NodeTemplate;
 
-// For some reason these are instantiated with different visibility in different modules??
-// Fix by making their instantiations explicit, here.
-template <> CVC4ostream& CVC4ostream::operator<<(NodeTemplate<false> const& t) CVC4_PUBLIC;
-template <> CVC4ostream& CVC4ostream::operator<<(NodeTemplate<true> const& t) CVC4_PUBLIC;
-
 /**
  * Exception thrown during the type-checking phase, it can be
  * thrown by node.getType().