From 916eb472d7dc9e8f1ecc41a9d05c3860870834d1 Mon Sep 17 00:00:00 2001
From: ploc <ploc@garoche.net>
Date: Fri, 7 Apr 2023 10:31:57 +0200
Subject: [PATCH] Removed the unused Trat type for clocks
---
src/types.ml | 6 +-----
1 file changed, 1 insertion(+), 5 deletions(-)
diff --git a/src/types.ml b/src/types.ml
index 45c98e25..8d4a0877 100644
--- a/src/types.ml
+++ b/src/types.ml
@@ -119,9 +119,7 @@ module type S = sig
end
module Basic : BASIC_TYPES = struct
- type t = Tstring | Tint | Treal | Tbool | Trat
- (* Actually unused for now. Only place where it can appear is in a clock
- declaration *)
+ type t = Tstring | Tint | Treal | Tbool
let type_string_builder = Tstring
let type_int_builder = Tint
@@ -140,8 +138,6 @@ module Basic : BASIC_TYPES = struct
fprintf fmt "string"
| Tbool ->
fprintf fmt "bool"
- | Trat ->
- fprintf fmt "rat"
let pp_c = pp
--
GitLab