From 717b97492efbe11f7ece5c2a2fc7801e66f32562 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?L=C3=A9lio=20Brun?= <lb@leliobrun.net>
Date: Thu, 11 May 2023 23:37:35 +0900
Subject: [PATCH] fix clock printing in Velus mode
---
src/velus_printer.ml | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/src/velus_printer.ml b/src/velus_printer.ml
index e60c1d58..79a72499 100644
--- a/src/velus_printer.ml
+++ b/src/velus_printer.ml
@@ -41,10 +41,10 @@ let pp_var_clock fmt id =
match ck.cdesc with
| Carrow _ | Ctuple _ | Cvar | Cunivar ->
()
- | Con (ck, c, "true") ->
- fprintf fmt "%a when %a" pp_suffix ck print_carrier c
- | Con (ck, c, "false") ->
- fprintf fmt "%a when not %a" pp_suffix ck print_carrier c
+ | Con (_ck, c, "true") ->
+ fprintf fmt " when %a" print_carrier c
+ | Con (_ck, c, "false") ->
+ fprintf fmt " when not %a" print_carrier c
| Con _ ->
error_ns "Generalized clocks"
| Clink ck' ->
--
GitLab