diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-10-01 19:32:03 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-10-01 19:32:03 +0100 |
commit | 4002a4981028bf02d44db4fa02f05f763349dc3b (patch) | |
tree | 45fa8c4097f6ad3c0cc92a09b64bea648c6657ee /src/hls/PrintExpression.ml | |
parent | 0ad95850cf12bfecbb25af9721f0626d4f75c687 (diff) | |
download | vericert-4002a4981028bf02d44db4fa02f05f763349dc3b.tar.gz vericert-4002a4981028bf02d44db4fa02f05f763349dc3b.zip |
Improve pretty-printing and add undirected graph
Diffstat (limited to 'src/hls/PrintExpression.ml')
-rw-r--r-- | src/hls/PrintExpression.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/hls/PrintExpression.ml b/src/hls/PrintExpression.ml index cfe6750..df5dc37 100644 --- a/src/hls/PrintExpression.ml +++ b/src/hls/PrintExpression.ml @@ -34,7 +34,7 @@ let rec print_expression pp = function (PrintOp.print_addressing print_expression) (addr, to_expr_list elist) print_expression e; print_expression pp e - | Esetpred (p, cond, elist, e) -> - fprintf pp "%a = %a; " pred p (PrintOp.print_condition print_expression) (cond, to_expr_list elist); + | Esetpred (cond, elist, e) -> + fprintf pp "%a; " (PrintOp.print_condition print_expression) (cond, to_expr_list elist); print_expression pp e *) |