Merge branch 'master' into highprecision

nickbattle · Oct 27, 2023 · c8f9d33 · c8f9d33
2 parents 2e886f7 + eb4e075
commit c8f9d33
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/examples/quickcheck/src/main/java/quickcheck/commands/QuickCheckLSPCommand.java b/examples/quickcheck/src/main/java/quickcheck/commands/QuickCheckLSPCommand.java
@@ -110,6 +110,7 @@ public DAPMessageList run(DAPRequest request)
 						return result(request, null);
 
 					case "-t":
+						i++;
 						timeout = Integer.parseInt(arglist.get(i));
 						break;