Skip to content

Commit bd95543

Browse files
committed
Update driver.ml
1 parent b45639b commit bd95543

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

compiler/driver.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -229,7 +229,7 @@ let gen_missing js missing =
229229
Util.warn "Dummy implementations (raising 'Failure' exception) ";
230230
Util.warn "will be used if they are not available at runtime.@.";
231231
Util.warn "You can prevent the generation of dummy implementations with ";
232-
Util.warn "the commandline option '-disable genprim'@.";
232+
Util.warn "the commandline option '--disable genprim'@.";
233233
report_missing_primitives missing;
234234
end;
235235
(Statement (Variable_statement miss), N) :: js

0 commit comments

Comments
 (0)