diff options
Diffstat (limited to 'icetime')
| -rw-r--r-- | icetime/icetime.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/icetime/icetime.cc b/icetime/icetime.cc index fd7c898..69b9d9f 100644 --- a/icetime/icetime.cc +++ b/icetime/icetime.cc @@ -1886,7 +1886,7 @@ int main(int argc, char **argv) if (device_type.empty()) { device_type = "lp" + config_device; - printf("// Warning: Missing -d paramter. Assuming '%s' device.\n", device_type.c_str()); + printf("// Warning: Missing -d parameter. Assuming '%s' device.\n", device_type.c_str()); } if (device_type == "lp1k" || device_type == "hx1k") { |