typo

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@5089 6afb6bc1-c8e4-404c-8f48-9ae832c5b171
2015-01-25 11:16:52 +00:00 · 2015-01-25 11:16:52 +00:00 · 7602f74009
parent 82b5dd8ffb
commit 7602f74009
1 changed files with 1 additions and 1 deletions
--- a/regression/ansi-c/Array_Declarator7/main.c
+++ b/regression/ansi-c/Array_Declarator7/main.c
@ -2,7 +2,7 @@

 int main(void)
 {
-  // bar4 should fail, , e.g., gcc says
+  // bar4 should fail, e.g., gcc says
  // error: static or type qualifiers in non-parameter array declarator
  int bar4[static restrict 4U] = {1, 2, 3, 4};
  return 0;