diff --git a/trick_source/codegen/Interface_Code_Gen/PrintAttributes.cpp b/trick_source/codegen/Interface_Code_Gen/PrintAttributes.cpp index a348011d..328d64d7 100644 --- a/trick_source/codegen/Interface_Code_Gen/PrintAttributes.cpp +++ b/trick_source/codegen/Interface_Code_Gen/PrintAttributes.cpp @@ -131,6 +131,9 @@ bool PrintAttributes::openIOFile(std::string header_file_name) { open the file and write header information */ outfile.open(io_files[header_file_name].c_str()) ; printer->printIOHeader(outfile, header_file_name) ; + if ( ! cs.hasTrickHeader(header_file_name) ) { + std::cout << "No Trick header comment found in " << header_file_name << "" << std::endl ; + } std::cout << "Writing " << io_files[header_file_name] << "" << std::endl ; // Get all of the ignored types from this file. ignored_types[header_file_name] = cs.getIgnoreTypes(header_file_name) ;