Merge pull request #5299 from NlightNFotis/errx_fix

NlightNFotis · web-flow · commit b27b8288a44a · 2020-05-29T10:02:53.000+01:00
Change function name in significant comment `err` -&gt; `errx`.
diff --git a/src/ansi-c/library/err.c b/src/ansi-c/library/err.c
@@ -17,7 +17,7 @@ void err(int eval, const char *fmt, ...)
   abort();
 }
 
-/* FUNCTION: err */
+/* FUNCTION: errx */
 
 #ifndef __CPROVER_ERR_H_INCLUDED
 #include <err.h>

Original file line number	Diff line number	Diff line change
`@@ -17,7 +17,7 @@ void err(int eval, const char *fmt, ...)`
`17`	`17`	`abort();`
`18`	`18`	`}`
`19`	`19`
`20`		`-/* FUNCTION: err */`
	`20`	`+/* FUNCTION: errx */`
`21`	`21`
`22`	`22`	`#ifndef __CPROVER_ERR_H_INCLUDED`
`23`	`23`	`#include <err.h>`