diff --git a/verified_cogen/runners/languages/language.py b/verified_cogen/runners/languages/language.py
index a64cdff..6f38fa2 100644
--- a/verified_cogen/runners/languages/language.py
+++ b/verified_cogen/runners/languages/language.py
@@ -167,11 +167,12 @@ def generate_validators(self, code: str, validate_helpers: bool) -> str:
                 )
             )
 
-            validators.append(
-                self._validators_from_pure(
-                    method_name, parameters, returns, specs, body
+            if validate_helpers:
+                validators.append(
+                    self._validators_from_pure(
+                        method_name, parameters, returns, specs, body
+                    )
                 )
-            )
 
         for match in methods:
             method_name, parameters, returns, specs = (