diff options
| author | Alasdair Armstrong | 2017-07-21 16:49:40 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-07-21 16:49:40 +0100 |
| commit | b7b6ebc7da062141369d85cd263f1b07561cd396 (patch) | |
| tree | e5aff5fb55d846bd7d5d25fb42098a283218a545 /src/pretty_print.ml | |
| parent | 74f0ba28f7ca4eeff467eb938b919fab6e234f47 (diff) | |
| parent | ffed37084cd0d529a5be98266ed4946cd251e645 (diff) | |
Merge branch 'sail_new_tc' of https://bitbucket.org/Peter_Sewell/sail into sail_new_tc
Diffstat (limited to 'src/pretty_print.ml')
| -rw-r--r-- | src/pretty_print.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/pretty_print.ml b/src/pretty_print.ml index 442c368b..7ef6b537 100644 --- a/src/pretty_print.ml +++ b/src/pretty_print.ml @@ -45,4 +45,3 @@ include Pretty_print_lem_ast include Pretty_print_sail include Pretty_print_ocaml include Pretty_print_lem - |