C fixes in c_emulator_fix

CTSRD-CHERI · Apr 27, 2024 · 48cd2c0 · 48cd2c0
1 parent dc98a6c
commit 48cd2c0
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/handwritten_support/c_emulator_fix.c b/handwritten_support/c_emulator_fix.c
@@ -12,7 +12,7 @@ struct zMisa;
 typedef int unit;
 typedef uint64_t mach_bits;
 
-unit z_set_Misa_C(struct zMisa *, mach_bits) {
+unit z_set_Misa_C(struct zMisa * isa, mach_bits bits) {
     fprintf(stderr, "z_set_Misa_C is not supported\n");
     exit(EXIT_FAILURE);
-}
+}