Fix more formatting.

diff --git a/src/microcode/prchacha.c b/src/microcode/prchacha.c
index 2ffcef85e4018a2733f9fb6ec552a22501d0f8fc..1bfa74fe49ef7e002dc0e28764fb43e98839eccd 100644 (file)
--- a/src/microcode/prchacha.c
+++ b/src/microcode/prchacha.c
@@ -28,8 +28,8 @@ USA.
 #include "prims.h"
 
 static void
-do_chacha_core(void (*core) (uint8_t *, const uint8_t *, const uint8_t *,
-                            const uint8_t *))
+do_chacha_core (void (*core) (uint8_t *, const uint8_t *, const uint8_t *,
+                             const uint8_t *))
 {
   unsigned long noutput;
   uint8_t * output = (arg_bytevector (1, (&noutput)));
@@ -62,7 +62,7 @@ Compute the ChaCha8 core hash function:\n\
 OUTPUT[OFFSET, OFFSET+1, ..., OFFSET+63] := ChaCha8(INPUT, KEY, CONST).")
 {
   PRIMITIVE_HEADER (5);
-  do_chacha_core(&chacha8_core);
+  do_chacha_core (&chacha8_core);
   PRIMITIVE_RETURN (UNSPECIFIC);
 }
 
@@ -72,7 +72,7 @@ Compute the ChaCha12 core hash function:\n\
 OUTPUT[OFFSET, OFFSET+1, ..., OFFSET+63] := ChaCha12(INPUT, KEY, CONST).")
 {
   PRIMITIVE_HEADER (5);
-  do_chacha_core(&chacha12_core);
+  do_chacha_core (&chacha12_core);
   PRIMITIVE_RETURN (UNSPECIFIC);
 }
 
@@ -82,6 +82,6 @@ Compute the ChaCha20 core hash function:\n\
 OUTPUT[OFFSET, OFFSET+1, ..., OFFSET+63] := ChaCha20(INPUT, KEY, CONST).")
 {
   PRIMITIVE_HEADER (5);
-  do_chacha_core(&chacha20_core);
+  do_chacha_core (&chacha20_core);
   PRIMITIVE_RETURN (UNSPECIFIC);
 }