Formatting fix

Co-authored-by: ActoryOu <jay2002824@gmail.com>
FreeRTOS · Jun 13, 2023 · 159e232 · 159e232
1 parent 6a5c2d3
commit 159e232
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/cbmc/proofs/DHCPv6/Process_PassReplyToEndPoint/Makefile.json b/test/cbmc/proofs/DHCPv6/Process_PassReplyToEndPoint/Makefile.json
@@ -7,7 +7,7 @@
     ],
     "INSTFLAGS":
     [
-    "--remove-function-body vDHCPv6ProcessEndPoint"
+      "--remove-function-body vDHCPv6ProcessEndPoint"
     ],
     "OPT":
     [