diff options
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 *) |