aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools/escape_string.ml
blob: 50e8faadaa08c46019cbafdfdda42d8cd5d64fb6 (plain)
1
print_string (String.escaped Sys.argv.(1))