diff --git a/src/main/java/com/code_intelligence/jazzer/driver/OptParser.java b/src/main/java/com/code_intelligence/jazzer/driver/OptParser.java index b35e8ddfb..b7800bbe4 100644 --- a/src/main/java/com/code_intelligence/jazzer/driver/OptParser.java +++ b/src/main/java/com/code_intelligence/jazzer/driver/OptParser.java @@ -42,11 +42,11 @@ final class OptParser { String.format( " java -cp jazzer.jar[%cclasspath_entries] com.code_intelligence.jazzer.Jazzer" + " --target_class= [args...]", - File.separatorChar), + File.pathSeparatorChar), String.format( " java -cp jazzer.jar[%cclasspath_entries] com.code_intelligence.jazzer.Jazzer" + " --autofuzz= [args...]", - File.separatorChar), + File.pathSeparatorChar), "", "In addition to the options listed below, Jazzer also accepts all", "libFuzzer options described at:",