diff options
| author | Bruce Momjian <bruce@momjian.us> | 1998-02-26 04:46:47 +0000 |
|---|---|---|
| committer | Bruce Momjian <bruce@momjian.us> | 1998-02-26 04:46:47 +0000 |
| commit | a32450a5855eed4bfd756ef292ee45d3c754665b (patch) | |
| tree | 26735c3406d9f46d0f39accbe6ff1fb5cc5beedc /src/include/commands/user.h | |
| parent | 757bf69a2e259c76baed94fa06e792664ab5ed67 (diff) | |
pgindent run before 6.3 release, with Thomas' requested changes.
Diffstat (limited to 'src/include/commands/user.h')
| -rw-r--r-- | src/include/commands/user.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/include/commands/user.h b/src/include/commands/user.h index 1994b0bcd12..d75478403db 100644 --- a/src/include/commands/user.h +++ b/src/include/commands/user.h @@ -12,6 +12,6 @@ extern void DefineUser(CreateUserStmt *stmt); extern void AlterUser(AlterUserStmt *stmt); -extern void RemoveUser(char* user); +extern void RemoveUser(char *user); #endif /* USER_H */ |