diff options
| author | Robert Norton | 2018-11-19 15:27:24 +0000 |
|---|---|---|
| committer | Robert Norton | 2018-11-19 15:27:24 +0000 |
| commit | b891846bef840ecbe5673c3b22cbd0f2cfceef0f (patch) | |
| tree | f40a1626b17a3cb0e373aaca925b32c938f52220 /src/isail.ml | |
| parent | 1bc81fa6dcafcfe24fce3685c2eb61f882e6b65c (diff) | |
| parent | 8c2739ace6ddc9b506d8e6782a4075574115cb34 (diff) | |
Merge branch 'latex' into sail2
Diffstat (limited to 'src/isail.ml')
| -rw-r--r-- | src/isail.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/isail.ml b/src/isail.ml index 7ec0848d..55f08f17 100644 --- a/src/isail.ml +++ b/src/isail.ml @@ -285,7 +285,7 @@ let handle_input' input = interactive_env := env; interactive_state := initial_state !interactive_ast Value.primops | ":pretty" -> - print_endline (Pretty_print_sail.to_string (Latex.latex_defs "sail_latex" !interactive_ast)) + print_endline (Pretty_print_sail.to_string (Latex.defs !interactive_ast)) | ":bytecode" -> let open PPrint in let open C_backend in |