diff --git a/src/main/jastadd/Backend.jadd b/src/main/jastadd/Backend.jadd
index cc89bce89ebc141dd18813a11449fbeff8afa476..5cecbc2580fb3a439baf76412f8b8a154eea8101 100644
--- a/src/main/jastadd/Backend.jadd
+++ b/src/main/jastadd/Backend.jadd
@@ -805,9 +805,11 @@ aspect NameResolutionHelper {
       r.generateContextDependentNameResolution(sb);
     }
 
-    for (TypeDecl decl : getTypeDeclList()) {
-      decl.generateContextIndependentNameResolution(sb);
-      sb.append("\n");
+    if (resolverHelper) {
+      for (TypeDecl decl : getTypeDeclList()) {
+        decl.generateContextIndependentNameResolution(sb);
+        sb.append("\n");
+      }
     }
     sb.append("}\n\n");
   }