diff --git a/src/lib/pickles/fix_domains.ml b/src/lib/pickles/fix_domains.ml
index 32348ea46e9..9cf534d5465 100644
--- a/src/lib/pickles/fix_domains.ml
+++ b/src/lib/pickles/fix_domains.ml
@@ -43,10 +43,15 @@ let domains (type field gates) ?feature_flags
           in
           let combined_lookup_table_length =
             let range_check_table_used =
-              range_check0 || range_check1 || foreign_field_mul || rot
+              range_check0 || range_check1 || rot
+            in
+            let range_check_table_used_again =
+              (* FIXME: This is a hack around a bug in proof-systems. *)
+              foreign_field_mul
             in
             let xor_table_used = xor in
             (if range_check_table_used then Int.pow 2 12 else 0)
+            + (if range_check_table_used_again then Int.pow 2 12 else 0)
             + (if xor_table_used then Int.pow 2 8 else 0)
             + ( if lookup then (
                 Kimchi_backend_common.Plonk_constraint_system