diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2012-12-18 15:42:04 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2012-12-18 15:42:04 +0000 |
| commit | ff49d21d13502d51cd2c2a449d64fb9f15d086fa (patch) | |
| tree | 67691742dce4cfe70be1cd9393a952825cfb0910 | |
| parent | c3beefba47d9b3affa35f736c29dfd64565728b4 (diff) | |
fixed accidental bug in pgf-parse.c
| -rw-r--r-- | src/runtime/c/utils/pgf-print.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/runtime/c/utils/pgf-print.c b/src/runtime/c/utils/pgf-print.c index 12d81a7c5..b93acb40e 100644 --- a/src/runtime/c/utils/pgf-print.c +++ b/src/runtime/c/utils/pgf-print.c @@ -14,7 +14,7 @@ int main(int argc, char* argv[]) { // Set the character locale, so we can produce proper output. setlocale(LC_CTYPE, ""); - if (argc != 1) { + if (argc != 2) { fprintf(stderr, "usage: %s pgf\n", argv[0]); return EXIT_FAILURE; } |