Commit cda3c747 authored by Andre Maroneze's avatar Andre Maroneze
Browse files

[Dev] fix typo in frama-c-config -scripts

parent f6c2e4c4
......@@ -53,7 +53,7 @@ let options = Arg.([
"-scripts",
Unit (fun _ -> Format.printf "%s%!"
(Filename.concat Fc_config.datadir "analyis-scripts"); exit 0),
(Filename.concat Fc_config.datadir "analysis-scripts"); exit 0),
" Print the path of Frama-C analysis-scripts directory";
"-print-libpath",
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment