Rename _start to _powdr_start (#2254)

Should fix #2220 cc @gballet
powdr-labs · Dec 18, 2024 · 95c96bb · 95c96bb
1 parent d98b7eb
commit 95c96bb
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/asm-to-pil/src/romgen.rs b/asm-to-pil/src/romgen.rs
@@ -93,7 +93,7 @@ pub fn generate_machine_rom<T: FieldElement>(mut machine: Machine) -> (Machine,
         // add the beginning of the dispatcher
         rom.extend(vec![
             Batch::from(vec![
-                parse_function_statement("_start:"),
+                parse_function_statement("_powdr_start:"),
                 parse_function_statement(&format!("{RESET_NAME};")),
             ])
             .reason(IncompatibleSet::from(Incompatible::Unimplemented)),
@@ -290,7 +290,7 @@ mod tests {
                 .to_string()
                 .replace('\t', "    "),
             r#"
-_start:
+_powdr_start:
 _reset;
 // END BATCH Unimplemented
 _jump_to_operation;
@@ -328,7 +328,7 @@ _loop;
                 .to_string()
                 .replace('\t', "    "),
             r#"
-_start:
+_powdr_start:
 _reset;
 // END BATCH Unimplemented
 _jump_to_operation;
@@ -387,7 +387,7 @@ _loop;
                 .to_string()
                 .replace('\t', "    "),
             r#"
-_start:
+_powdr_start:
 _reset;
 // END BATCH Unimplemented
 _jump_to_operation;