bugfix: use -std=gnu89 for C

Daniel Kroening · Daniel Kroening · commit 554660a5cedc · 2019-01-05T16:13:18.000Z
This fixes a copy &amp; paste error.
diff --git a/src/ansi-c/c_preprocess.cpp b/src/ansi-c/c_preprocess.cpp
@@ -610,7 +610,7 @@ bool c_preprocess_gcc_clang(
     switch(config.ansi_c.c_standard)
     {
     case configt::ansi_ct::c_standardt::C89:
-      argv.push_back("-std=gnu++89");
+      argv.push_back("-std=gnu89");
       break;
 
     case configt::ansi_ct::c_standardt::C99:

Original file line number	Diff line number	Diff line change
`@@ -610,7 +610,7 @@ bool c_preprocess_gcc_clang(`
`610`	`610`	`switch(config.ansi_c.c_standard)`
`611`	`611`	`{`
`612`	`612`	`case configt::ansi_ct::c_standardt::C89:`
`613`		`- argv.push_back("-std=gnu++89");`
	`613`	`+ argv.push_back("-std=gnu89");`
`614`	`614`	`break;`
`615`	`615`
`616`	`616`	`case configt::ansi_ct::c_standardt::C99:`