diff options
Diffstat (limited to 'src/process_file.ml')
| -rw-r--r-- | src/process_file.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/process_file.ml b/src/process_file.ml index 57024bb4..26fc1f22 100644 --- a/src/process_file.ml +++ b/src/process_file.ml @@ -112,7 +112,7 @@ let close_output_with_check (o, temp_file_name, file_name) = () let generated_line f = - Printf.sprintf "Generated by XX from %s." f + Printf.sprintf "Generated by Sail from %s." f (*let tex_preamble = "\\documentclass{article}\n" ^ |