Commit af33e9ca authored by Benedikt Becker's avatar Benedikt Becker

Escape string attributes in session files

parent 6e1fe134
......@@ -1760,7 +1760,7 @@ let save_prover fmt id (p,mostfrequent_timelimit,mostfrequent_steplimit,mostfreq
let save_string_attrib name fmt s =
if s <> "" then fprintf fmt "@ %s=\"%s\"" name s
if s <> "" then fprintf fmt "@ %s=\"%a\"" name save_string s
let save_option_def name fmt opt =
match opt with
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment