@@ -11,23 +11,23 @@ typedef rawElementsInput rawInput;
1111typedef rawElementsTransaction rawTransaction ;
1212typedef rawElementsTapEnv rawTapEnv ;
1313
14- const size_t rustsimplicity_0_6_c_sizeof_rawElementsBuffer = sizeof (rawElementsBuffer );
15- const size_t rustsimplicity_0_6_c_sizeof_rawElementsOutput = sizeof (rawElementsOutput );
16- const size_t rustsimplicity_0_6_c_sizeof_rawElementsInput = sizeof (rawElementsInput );
17- const size_t rustsimplicity_0_6_c_sizeof_rawElementsTransaction = sizeof (rawElementsTransaction );
18- const size_t rustsimplicity_0_6_c_sizeof_rawElementsTapEnv = sizeof (rawElementsTapEnv );
19- const size_t rustsimplicity_0_6_c_sizeof_txEnv = sizeof (txEnv );
14+ const size_t rustsimplicity_0_7_c_sizeof_rawElementsBuffer = sizeof (rawElementsBuffer );
15+ const size_t rustsimplicity_0_7_c_sizeof_rawElementsOutput = sizeof (rawElementsOutput );
16+ const size_t rustsimplicity_0_7_c_sizeof_rawElementsInput = sizeof (rawElementsInput );
17+ const size_t rustsimplicity_0_7_c_sizeof_rawElementsTransaction = sizeof (rawElementsTransaction );
18+ const size_t rustsimplicity_0_7_c_sizeof_rawElementsTapEnv = sizeof (rawElementsTapEnv );
19+ const size_t rustsimplicity_0_7_c_sizeof_txEnv = sizeof (txEnv );
2020
21- const size_t rustsimplicity_0_6_c_alignof_rawElementsBuffer = alignof(rawElementsBuffer );
22- const size_t rustsimplicity_0_6_c_alignof_rawElementsOutput = alignof(rawElementsOutput );
23- const size_t rustsimplicity_0_6_c_alignof_rawElementsInput = alignof(rawElementsInput );
24- const size_t rustsimplicity_0_6_c_alignof_rawElementsTransaction = alignof(rawElementsTransaction );
25- const size_t rustsimplicity_0_6_c_alignof_rawElementsTapEnv = alignof(rawElementsTapEnv );
26- const size_t rustsimplicity_0_6_c_alignof_txEnv = alignof(txEnv );
21+ const size_t rustsimplicity_0_7_c_alignof_rawElementsBuffer = alignof(rawElementsBuffer );
22+ const size_t rustsimplicity_0_7_c_alignof_rawElementsOutput = alignof(rawElementsOutput );
23+ const size_t rustsimplicity_0_7_c_alignof_rawElementsInput = alignof(rawElementsInput );
24+ const size_t rustsimplicity_0_7_c_alignof_rawElementsTransaction = alignof(rawElementsTransaction );
25+ const size_t rustsimplicity_0_7_c_alignof_rawElementsTapEnv = alignof(rawElementsTapEnv );
26+ const size_t rustsimplicity_0_7_c_alignof_txEnv = alignof(txEnv );
2727
28- void rustsimplicity_0_6_c_set_txEnv (txEnv * result , const elementsTransaction * tx , const elementsTapEnv * taproot , const unsigned char * genesisHash , unsigned int ix )
28+ void rustsimplicity_0_7_c_set_txEnv (txEnv * result , const elementsTransaction * tx , const elementsTapEnv * taproot , const unsigned char * genesisHash , unsigned int ix )
2929{
3030 sha256_midstate genesis ;
3131 sha256_toMidstate (genesis .s , genesisHash );
32- * result = rustsimplicity_0_6_elements_build_txEnv (tx , taproot , & genesis , ix );
32+ * result = rustsimplicity_0_7_elements_build_txEnv (tx , taproot , & genesis , ix );
3333}
0 commit comments