diff --git a/trick_source/codegen/Interface_Code_Gen/PrintAttributes.cpp b/trick_source/codegen/Interface_Code_Gen/PrintAttributes.cpp
index 6d6725cd..d2ff7804 100644
--- a/trick_source/codegen/Interface_Code_Gen/PrintAttributes.cpp
+++ b/trick_source/codegen/Interface_Code_Gen/PrintAttributes.cpp
@@ -263,7 +263,7 @@ void PrintAttributes::printEnum(EnumValues* ev) {
         outfile.close() ;
     }
 
-    if (!isHeaderExcluded(fileName), false) {
+    if (!isHeaderExcluded(fileName, false)) {
          printer->printEnumMap(enum_map_outfile, ev);
     }
 }