Change function name in significant comment err -> errx.

NlightNFotis · NlightNFotis · commit 2194c7d9a9f1 · 2020-04-16T15:08:45.000+01:00
This would cause the errx function not to be found
in our standard library.
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>`