From 054245f968122bc008d54a5d9ad226abfcb406ff Mon Sep 17 00:00:00 2001 From: Derek Bankieris Date: Thu, 6 Oct 2016 14:28:06 -0500 Subject: [PATCH] Forgot to remove this debugging print out before the last commit --- trick_source/codegen/Interface_Code_Gen/PrintAttributes.cpp | 1 - 1 file changed, 1 deletion(-) diff --git a/trick_source/codegen/Interface_Code_Gen/PrintAttributes.cpp b/trick_source/codegen/Interface_Code_Gen/PrintAttributes.cpp index ecd9955d..29fcb653 100644 --- a/trick_source/codegen/Interface_Code_Gen/PrintAttributes.cpp +++ b/trick_source/codegen/Interface_Code_Gen/PrintAttributes.cpp @@ -199,7 +199,6 @@ bool PrintAttributes::openIOFile(const std::string& header_file_name) { // no further processing is required if it's not out of date if (!isIOFileOutOfDate(realPath, io_file_name)) { - std::cout << "Not out of date: " << io_file_name << std::endl; return false; }