fixup

Author: AlexandreBelling

prover/utils/csvtraces/csvtraces.go

@@ -256,15 +256,15 @@ func (c *CsvTrace) LenPadded() int {
 // WritesExplicit format value-provided columns into a csv file. Unlike [FmtCsv]
 // it does not need the columns to be registered as the assignmet of a wizard.
 // It is suitable for test-case generation.
-func WriteExplicit(w io.Writer, names []string, cols [][]field.Element) {
+func WriteExplicit(w io.Writer, names []string, cols [][]field.Element, inHex bool) {
 
 	fmt.Fprintf(w, "%v\n", strings.Join(names, ","))
 
 	for i := range cols[0] {
 
 		row := []string{}
 		for j := range cols {
-			row = append(row, fmtFieldElement(cols[j][i]))
+			row = append(row, fmtFieldElement(inHex, cols[j][i]))
 		}
 
 		fmt.Fprintf(w, "%v\n", strings.Join(row, ","))