aboutsummaryrefslogtreecommitdiff
path: root/tools/001_derive_h48
diff options
context:
space:
mode:
authorSebastiano Tronto <sebastiano@tronto.net>2024-10-11 19:24:15 +0200
committerSebastiano Tronto <sebastiano@tronto.net>2024-10-11 22:10:42 +0200
commitc4f64cf2556c0f8597e1fbc19d7c664b8da94612 (patch)
tree67cf5324d089dc8bafa255a5580556ba44361b0d /tools/001_derive_h48
parent4668156da5915c8d7a7b40edaf6617b004547bd7 (diff)
downloadnissy-core-c4f64cf2556c0f8597e1fbc19d7c664b8da94612.tar.gz
nissy-core-c4f64cf2556c0f8597e1fbc19d7c664b8da94612.zip
Added buffer sizes in API args
Diffstat (limited to 'tools/001_derive_h48')
-rw-r--r--tools/001_derive_h48/derive_h48.c3
1 files changed, 1 insertions, 2 deletions
diff --git a/tools/001_derive_h48/derive_h48.c b/tools/001_derive_h48/derive_h48.c
index c5f28c8..c964882 100644
--- a/tools/001_derive_h48/derive_h48.c
+++ b/tools/001_derive_h48/derive_h48.c
@@ -19,8 +19,7 @@ void run(void) {
19 19
20int main(int argc, char **argv) { 20int main(int argc, char **argv) {
21 if (argc < 5) { 21 if (argc < 5) {
22 fprintf(stderr, 22 printf("Error: not enough arguments. Required:\n"
23 "Error: not enough arguments. Required:\n"
24 "1. Solver name for large table\n" 23 "1. Solver name for large table\n"
25 "2. Solver name for derived table\n" 24 "2. Solver name for derived table\n"
26 "3. Filename containing large table\n" 25 "3. Filename containing large table\n"

Generated with cgit - Back to sebastiano.tronto.net