diff --git a/trick_source/codegen/Interface_Code_Gen/main.cpp b/trick_source/codegen/Interface_Code_Gen/main.cpp
index 47716b6e..bf0cd9fb 100644
--- a/trick_source/codegen/Interface_Code_Gen/main.cpp
+++ b/trick_source/codegen/Interface_Code_Gen/main.cpp
@@ -97,6 +97,9 @@ int main(int argc, char * argv[]) {
     ci.getLangOpts().CPlusPlus = true ;
     ci.getLangOpts().CPlusPlus11 = true ;
     ci.getLangOpts().CXXOperatorNames = true ;
+#if (LIBCLANG_MAJOR >= 6)
+    ci.getLangOpts().DoubleSquareBracketAttributes = true ;
+#endif
 
     // Create all of the necessary managers.
     ci.createFileManager();